Chapter
Generating Assurance Cases Using Workflow+ Models
Abstract
The increasing complexity and scale of safety-critical systems makes it challenging to perform necessary safety analyses and document them convincingly in an assurance case. In previous work we introduced Workflow+$$^+$$, a model-based framework for modelling the processes and work products in both the development and safety assurance life cycles. WF+$$^+$$ metamodels not only serve as templates that guide the development of a safe system, they …
Authors
Annable N; Chiang T; Lawford M; Paige RF; Wassyng A
Book title
Computer Safety, Reliability, and Security
Series
Lecture Notes in Computer Science
Volume
13414
Pagination
pp. 97-110
Publisher
Springer Nature
Publication Date
2022
DOI
10.1007/978-3-031-14835-4_7