A self-stabilizing autonomic recoverer for eventual Byzantine software

Brukman, Olga; Kolodner, Elliot K.

doi:10.1016/j.jss.2008.04.028

Cited by 9 publications

(3 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Finally, formal proof was used to demonstrate the correctness of adaptation effects, e.g. proofs for safety, no deadlock, and no starvation of system processes as a result of adaptation [12], and guarantees for the required qualities of adaptations, e.g. proofs for optimised resource allocation, while satisfying quality of service constraints [1].…”

Section: Related Workmentioning

confidence: 99%

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

Călinescu

Weyns

Gerasimou

et al. 2018

IIEEE Trans. Software Eng.

158

View full text Add to dashboard Cite

Abstract-Building on concepts drawn from control theory, self-adaptive software handles environmental and internal uncertainties by dynamically adjusting its architecture and parameters in response to events such as workload changes and component failures. Self-adaptive software is increasingly expected to meet strict functional and non-functional requirements in applications from areas as diverse as manufacturing, healthcare and finance. To address this need, we introduce a methodology for the systematic ENgineering of TRUstworthy Self-adaptive sofTware (ENTRUST). ENTRUST uses a combination of (1) design-time and runtime modelling and verification, and (2) industry-adopted assurance processes to develop trustworthy self-adaptive software and assurance cases arguing the suitability of the software for its intended application. To evaluate the effectiveness of our methodology, we present a tool-supported instance of ENTRUST and its use to develop proof-of-concept self-adaptive software for embedded and service-based systems from the oceanic monitoring and e-finance domains, respectively. The experimental results show that ENTRUST can be used to engineer self-adaptive software systems in different application domains and to generate dynamic assurance cases for these systems.

show abstract

Section: Related Workmentioning

confidence: 99%

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

Călinescu

Weyns

Gerasimou

et al. 2018

IIEEE Trans. Software Eng.

158

View full text Add to dashboard Cite

show abstract

“…Runtime verification of asynchronous systems for ensuring safety and liveness specifications by monitoring events has been discussed in e.g., Dolev & Stomp (2003); Brukman & Dolev (2006) ;Brukman, Dolev & Kolodner (2008) ;. A parametric real-time monitoring system with multiple logical structures is proposed in Jin et al (2012).…”

Section: Introductionmentioning

confidence: 99%

“…Tools for real-time verification exist in the form of assertion checking, some of which follow the PSL IEEE standard, notably Colombo, Pace & Schneider (2008) ;Alur, Courcoubetis & Dill (1993) ;Brukman, Dolev & Kolodner (2008); further comparison of these tools is beyond the scope of this article. While these allow the specification of quite general properties and employ an automaton for detecting a single property, we focus on patterns with timing constraints and employ an automaton to detect all pattern instances.…”

Section: Introductionmentioning

confidence: 99%

Efficient online detection of temporal patterns

Goldfeld

Puzis

Venkateswarlu

2016

PeerJ Computer Science

Self Cite

View full text Add to dashboard Cite

Identifying a temporal pattern of events is a fundamental task of online (realtime) verification. We present efficient schemes for online monitoring of events for identifying desired/undesired patterns of events. The schemes use preprocessing to ensure that the number of comparisons during run-time is minimized. In particular, the first comparison following the time point when an execution sub-sequence cannot be further extended to satisfy the temporal requirements halts the process that monitors the sub-sequence. Subjects Algorithms and Analysis of Algorithms, Theory and Formal Methods

show abstract