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.


Flyer for AvSafe 2011
275.6 KB
13-0413 Barry CertWare.pdf
Charts for IEEE Aerospace 2011
3.1 MB
CertWare Web Site


Add New Comment

Popular Resources

  • Project GitHub

    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 ...


Started: Jun 13, 2011

Last Activity: Sep 22, 2011

5 members / 1 resources

What can I do on this project?
  • Any registered users can join
  • Anybody can view this project
  • Any registered users can leave comments
  • Anybody can view comments
New Member

Related Projects


Need help?

Visit our help center