CertWare

Resources: 1 Others
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.

Attachments

Flyer.pdf Flyer for AvSafe 2011	275.6 KB
13-0413 Barry CertWare.pdf Charts for IEEE Aerospace 2011	3.1 MB
http://certware-update.s3-website-us-east-1.amazonaws.com/ CertWare Web Site

Discussions

Add New Comment

Popular Resources

Project GitHub

Other, CertWare - 12 years, 8 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 ...