Abstract | ||
---|---|---|
In regulated safety-critical domains, such as the aerospace and nuclear domains, certification bodies often require systems to undergo a stringent safety assessment procedure to show their compliance to one or more safety standards. Assurance cases are an emerging way of communicating safety of a safety-critical system in a structured and comprehensive manner. Due to the significant complexity of the required materials, software tools are often used as a practical way of constructing assurance cases. This paper presents the first, to the best of our knowledge, systematic review of assurance case tools. Specifically, we provide a comprehensive list of assurance case tools developed over the past 20 years and an analysis of their functionalities. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1007/978-3-319-99229-7_6 | COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2018 |
Keywords | Field | DocType |
Assurance case, Tools, Systematic literature review | Aerospace,Systems engineering,Systematic review,Engineering management,Computer science,Software,Computer-aided software engineering,Certification,Safety standards | Conference |
Volume | ISSN | Citations |
11094 | 0302-9743 | 3 |
PageRank | References | Authors |
0.47 | 25 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mike Maksimov | 1 | 4 | 0.91 |
Nick L. S. Fung | 2 | 5 | 1.19 |
Sahar Kokaly | 3 | 52 | 7.64 |
Marsha Chechik | 4 | 2287 | 138.57 |