68 citations · 118 across the 9 of their papers we have counts for
9 papers
DEIS: Dependability Engineering Innovation for Industrial CPS
Erik Armengaud, Georg Macher, Alexander Massoner +15
The open and cooperative nature of Cyber-Physical Systems (CPS) poses new challenges in assuring dependability. The DEIS project (Dependability Engineering Innovation for automotiv…
Independent Co-Assurance using the Safety-Security Assurance Framework (SSAF): A Bayesian Belief Network Implementation for IEC 61508 and Common Criteria
Nikita Johnson, Youcef Gheraibia, Tim Kelly
Safety Security Assurance Framework applied to two standards IEC 61508 and Common Criteria - ISO 15408
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM
Simon Foster, Yakoub Nemouchi, Mario Gleirscher +2
Assurance cases are often required to certify critical systems. The use of formal methods in assurance can improve automation, increase confidence, and overcome errant reasoning. H…
Mechanised Assurance Cases with Integrated Formal Methods in Isabelle
Yakoub Nemouchi, Simon Foster, Mario Gleirscher +1
Assurance cases are often required as a means to certify a critical system. Use of formal methods in assurance can improve automation, and overcome problems with ambiguity, faulty…
Model Based System Assurance Using the Structured Assurance Case Metamodel
Ran Wei, Tim P. Kelly, Xiaotian Dai +2
Assurance cases are used to demonstrate confidence in system properties of interest (e.g. safety and/or security). A number of system assurance approaches are adopted by industries…
An Assurance Framework for Independent Co-assurance of Safety and Security
Nikita Johnson, Tim Kelly
Integrated safety and security assurance for complex systems is difficult for many technical and socio-technical reasons such as mismatched processes, inadequate information, diffe…
Incorporating Epistemic Uncertainty into the Safety Assurance of Socio-Technical Systems
Chris Leong, Tim Kelly, Rob Alexander
In system development, epistemic uncertainty is an ever-present possibility when reasoning about the causal factors during hazard analysis. Such uncertainty is common when complica…
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases
Radu Calinescu, Danny Weyns, Simos Gerasimou +3
Building on concepts drawn from control theory, self-adaptive software handles environmental and internal uncertainties by dynamically adjusting its architecture and parameters in…
Large-scale Complex IT Systems
Ian Sommerville, Dave Cliff, Radu Calinescu +5
This paper explores the issues around the construction of large-scale complex systems which are built as 'systems of systems' and suggests that there are fundamental reasons, deriv…