Tag Archives: safety-critical development

Use of formal methods in critical systems conference

This conference will take place in Toulouse on November the 12th. It is in French as is the announcement providing more details below:

Les animateurs du DAS Systèmes Embarqués, avec le soutien du thème IFSE du RTRA AE/SE, ont le plaisir de vous annoncer la programmation d’un cycle de conférences techniques sur les méthodes formelles de [...]

Posted in Certification, Events | Also tagged , | Leave a comment

Couverture paper presented at ERTS² 2010

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.

Posted in Agile/Lean Programming, Certification, Papers and Slides | Also tagged , , , | Leave a comment

IEEE effort to standardize requirements capture language

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

Posted in Open-DO News, Related Initiatives | Also tagged , | Leave a comment
  • Categories

  • Open-DO Projects

  • Want to get involved?

  • Contact

    info @ open-do.org