- Related Research Areas
- Verification and Validation
A 2007 study by the National Academy of Sciences provides strong motivation to explore the use of dependability cases as a means to address verification, and ultimately, certification, of highly complex systems. Kestrel Technology, LLC, has developed a prototype extensible workbench to develop, maintain, and analyze safety cases – a specialized form of dependability cases. The CertWare workbench contributes several core modules supporting safety case models, and extends these with a service-based APIs for plugging new capabilities into the workbench for processing these models.
In addition to typical features such as multi-user safety case model editing, change tracking, and templates, the CertWare workbench emphasizes support for analysis of safety case model structure and content. The APIs for external tool integration provide support for a variety of analyses of the safety case models. Model transformations enable syntactic and semantic analysis. Probabilistic reasoning provides support for uncertain evidence and computations of confidence levels. Logical reasoning provides support for answering queries on the model, determining the impact of negative evidence or inconsistent arguments, and incorporating unknown data. Historical reasoning and trend monitoring supports project management for case production, including assessing the cost and schedule impact of revised requirements or rework.
Other, CertWare - 5 years, 5 months ago
Shared By: Kurt Woodham
Release of CertWare was announced 23 Mar 2012 on: code.nasa.gov The announcement points to the Certware project on NASA’s GitHub repository at: nasa.github.com/CertWare The project ...
- Any registered users can join
- Anybody can view this project
- Any registered users can leave comments
- Anybody can view comments
Visit our help center