research
∙
06/03/2021
DEIS: Dependability Engineering Innovation for Industrial CPS
The open and cooperative nature of Cyber-Physical Systems (CPS) poses ne...
share
research
∙
10/13/2020
Independent Co-Assurance using the Safety-Security Assurance Framework (SSAF): A Bayesian Belief Network Implementation for IEC 61508 and Common Criteria
Safety Security Assurance Framework applied to two standards IEC 61508 a...
research
∙
09/25/2020
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM
Assurance cases are often required to certify critical systems. The use ...
research
∙
05/15/2019
Mechanised Assurance Cases with Integrated Formal Methods in Isabelle
Assurance cases are often required as a means to certify a critical syst...
research
∙
01/24/2019
An Assurance Framework for Independent Co-assurance of Safety and Security
Integrated safety and security assurance for complex systems is difficul...
research
∙
10/10/2017