open-DO » safety-critical development http://www.open-do.org Toward a cooperative and open framework for the development of certifiable software Mon, 06 Sep 2010 08:29:51 +0000 en hourly 1 Couverture paper presented at ERTS² 2010 http://www.open-do.org/2010/06/08/erts2010-papers/ http://www.open-do.org/2010/06/08/erts2010-papers/#comments Tue, 08 Jun 2010 13:01:55 +0000 Jamie Ayre http://www.open-do.org/?p=1399 At the recent ERTS² 2010 conference held in Toulouse, Thomas Quinot presented a paper entitled

“Object and Source Coverage for Critical Appl ications with the Couverture Open Analysis Framework“.

It presents the Couverture approach to object and structural coverage analysis for certified safety-critical applications, in particular in the context of DO-178.

]]> http://www.open-do.org/2010/06/08/erts2010-papers/feed/ 0 IEEE effort to standardize requirements capture language http://www.open-do.org/2009/10/22/ieee-effort-to-standardize-requirements-capture-language/ http://www.open-do.org/2009/10/22/ieee-effort-to-standardize-requirements-capture-language/#comments Thu, 22 Oct 2009 08:24:01 +0000 Jose Ruiz http://www.open-do.org/?p=797 recent announcement, IEEE has approved work to develop a standard for a language to capture software requirements. Unfortunately, I have not found much information about it. They mention that the information will be presented in a tree-like structure, which should fit well with the hierarchical organization of requirements in typical safety-critical development.]]> http://www.open-do.org/2009/10/22/ieee-effort-to-standardize-requirements-capture-language/feed/ 0