7 citations · 10 across the 3 of their papers we have counts for
6 papers · 1 filter
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…
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…
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…