A Survey of Current Tools to Develop and Manage Assurance Cases
Abstract
Assurance cases are becoming more challenging to develop, as increasing system complexities challenge efforts to develop comprehensible arguments proving their safety. Many tools have been developed to aid practitioners in making and understanding assurance cases. Building off of the work of a previous survey, we produce a current survey of tools that aid with the development and management of assurance cases. We find that there are at least 21 currently available tools, most of which are openly accessible. We find that a number of both open access and commercially available tools have strong functional support for the creation, maintenance and assessment of assurance cases. However, commercial tools tend to have stronger support for auxiliary functions such as report generation and integration with other tools, suggesting that they continue to be used in spite of their cost because of their ease of use. Nonetheless, a small number of open access tools also offer significant support in auxiliary functional areas. Program managers can determine which specific tools are best for their project and team by trying out the range of high performing tools found in this survey.
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 01, 2022
- Accession Number
- AD1228864
Entities
People
- Kevin P. Roback
Organizations
- Institute for Defense Analyses