68 citations · 118 across the 9 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.LO2019★ 3 cited
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…
cs.SE2019★ 68 cited
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…
cs.SE2019
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…