ACCESS: Assurance Case Centric Engineering of Safety-critical Systems

Ran Wei, Simon Foster, Haitao Mei +7

Assurance cases are used to communicate and assess confidence in critical system properties such as safety and security. Historically, assurance cases have been manually created do…