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