Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

Călinescu, Radu; Weyns, Danny; Gerasimou, Simos; Iftikhar, M. Usman; Habli, Ibrahim; Kelly, Tim

doi:10.1109/tse.2017.2738640

Cited by 158 publications

(101 citation statements)

References 109 publications

(208 reference statements)

Supporting

Mentioning

101

Contrasting

Order By: Relevance

“…This will require OMNI to continually refine the CTMC models of these systems based on new component observations. We envisage that this extension will enable the runtime analysis of QoS properties for rapidly evolving systems [73] and will support the dynamic selection of new configurations for self-adaptive software used in safety-critical and business-critical applications [74]. In addition, we intend to examine the effectiveness of OMNI in other application domains, and its ability to estimate a broader range of distributions for the execution times of the system components.…”

Section: Resultsmentioning

confidence: 99%

Observation-Enhanced QoS Analysis of Component-Based Systems

Paterson

Călinescu

2020

IIEEE Trans. Software Eng.

Self Cite

View full text Add to dashboard Cite

Abstract-We present a new method for the accurate analysis of the quality-of-service (QoS) properties of component-based systems. Our method takes as input a QoS property of interest and a high-level continuous-time Markov chain (CTMC) model of the analysed system, and refines this CTMC based on observations of the execution times of the system components. The refined CTMC can then be analysed with existing probabilistic model checkers to accurately predict the value of the QoS property. The paper describes the theoretical foundation underlying this model refinement, the tool we developed to automate it, and two case studies that apply our QoS analysis method to a service-based system implemented using public web services and to an IT support system at a large university, respectively. Our experiments show that traditional CTMC-based QoS analysis can produce highly inaccurate results and may lead to invalid engineering and business decisions. In contrast, our new method reduced QoS analysis errors by 84.4-89.6% for the service-based system and by 94.7-97% for the IT support system, significantly lowering the risk of such invalid decisions.Index Terms-Quality of service, component-based systems, Markov models, probabilistic model checking.

show abstract

Section: Resultsmentioning

confidence: 99%

Observation-Enhanced QoS Analysis of Component-Based Systems

Paterson

Călinescu

2020

IIEEE Trans. Software Eng.

Self Cite

View full text Add to dashboard Cite

show abstract

“…An example for the latter is the recent ENgineering of TRUstworthy Self-adaptive sofTware (ENTRUST) approach [26]. 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.…”

Section: Discussionmentioning

confidence: 99%

B-space: dynamic management and assurance of open systems of systems

Schneider

Trapp

2018

J Internet Serv Appl

View full text Add to dashboard Cite

Connected cars, freely configurable operating rooms, or autonomous harvesting fleets: dynamically emerging open systems of systems will shape a new generation of systems opening up a vast potential for new kinds of applications. In light of the hard-to-predict structure and behavior of such systems, assuring their safety will require some disruptive changes of established safety paradigms. Combining current research results from different disciplines with industrial experience, this paper dares to think out of the box and look beyond the limits of traditional safety assurance. It structures upcoming challenges posed by the emergence of open systems of systems, tries to shift existing paradigms to meet those new challenges, and proposes an abstract conceptual framework building on comprehensive interlinked multi-concern runtime models for dynamically assuring the safety as well as other properties of open systems of systems. As there currently is no comprehensive realization of the framework, we discuss what kind of approaches could fit into which parts of the framework and exemplify this for the case of conditional safety certificates.

show abstract

“…All steps of the SCPS assurance process are highly challenging: obtaining compelling evidence that all SCPS components (including humans and machine-learned models) can be trusted to their assumed levels of trustworthiness; combining this evidence to support the assembly of assurance arguments; and updating the evidence and the assurance argument as the SCPS evolves through offline maintenance or online selfadaptation. As for several of the previous open challenges, previous research on assurance [31], [32] (including assurance of self-adaptive software systems [33], [34]) may provide useful starting points for the assurance of SCPS.…”

Section: Oc2) Ensuring the Accuracy Of Stochastic Models Of Scps-mentioning

confidence: 99%

Socio-Cyber-Physical Systems: Models, Opportunities, Open Challenges

Călinescu¹,

Cámara

Paterson³

2019

2019 IEEE/ACM 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS)

Self Cite

View full text Add to dashboard Cite

Almost without exception, cyber-physical systems operate alongside, for the benefit of, and supported by humans. Unsurprisingly, disregarding their social aspects during development and operation renders these systems ineffective. In this paper, we explore approaches to modelling and reasoning about the human involvement in socio-cyber-physical systems (SCPS). To provide an unbiased perspective, we describe both the opportunities afforded by the presence of human agents, and the challenges associated with ensuring that their modelling is sufficiently accurate to support decision making during SCPS development and, if applicable, at run-time. Using SCPS examples from emergency management and assisted living, we illustrate how recent advances in stochastic modelling, analysis and synthesis can be used to exploit human observations about the impact of natural and man-made disasters, and to support the efficient provision of assistive care.

show abstract

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

Cited by 158 publications

References 109 publications

Observation-Enhanced QoS Analysis of Component-Based Systems

Observation-Enhanced QoS Analysis of Component-Based Systems

B-space: dynamic management and assurance of open systems of systems

Socio-Cyber-Physical Systems: Models, Opportunities, Open Challenges

Contact Info

Product

Resources

About