ACCESS: Assurance Case Centric Engineering of Safety-critical Systems

Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly, Yakoub Nemouchi

Abstract: Highlights•ACCESS -- a critical systems engineering methodology.•Automated means to evaluate model-based assurance cases.•Means to integrate diverse formal verification results into an assurance case.•The application of all of above to an AUV case study.