Categories
Open-DO Projects
Want to get involved?
Contact
Category Archives: Certification
Challenges facing avionics software developers
In a recent article “Avionics software programmers challenged by integration, certification, testing issues for software-centric aircraft“, Barry Rosenberg from Avionics Magazine discusses the testing and certification processes used when building these systems.
Also posted in In the Press 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.
XReq Project
XReq – Executable Requirements for DO-178B – is the latest project to join the Open-DO initiative. XReq, first contributed by Sogilis, is a tool designed to help testing and verifying a project. It has been specifically adapted for the DO-178B context but can be used by a much wider audience. To help DO-178B projects, it bring together the tests (HLT/LLT) with their requirements, thus helping traceability of the tests.
For further information, please visit the XReq project page.
Also posted in Open-DO News Leave a comment
ERTS² conference week
I spent a very interesting week in Toulouse last week. It started with a day of conference in which INRIA research labs showed a host of products and advanced research applicable to the domains of modeling and safety. There was in particular demos of Astrée (static analyzer for C, now sold by AbsInt Gmbh), Frama-C (framework for analyses on C, partner in Hi-Lite) and Alt-Ergo (prover SMT, partner in Hi-Lite).
It continued with the conference ERTS² during 3 days, which gathered many French and European providers and customers of embedded solutions. I’d like to highlight 3 presentations:
- the Formal Methods Subgroup of the upcoming DO-178C standard presented how formal methods may be used in a certification context
- PolySpace and automotive stakeholders presented the use of static analysis tools to ensure levels of quality from subcontractors
- the initiative “Certification Together” presented the goals of their initiative to share the cost of certification
Also posted in Events, Open-DO News 1 Comment
DO-178: Couverture and the “Source Code VS Object Code Coverage” debate
Couverture is a qualifiable tool to measure structural coverage. This paper describes how the Couverture technology copes with the “Souce Code VS Object Code Coverage” debate in a DO-178 context.
The Couverture project is hosted on the Open-DO Forge.
The attached paper is also published in the Ada User Journal, December 2009 issue.
The Couverture project is hosted on the Open-DO Forge.
The attached paper is also published in the Ada User Journal, December 2009 issue.
Also posted in Papers and Slides Leave a comment
HiberSource project joins Open-DO
We are pleased to welcome the HiberSource project to Open-DO. This configuration management system is used to manage project data in accordance with DO-178B and supports the full software life cycle.
There are many free version control systems (such as SVN) but there are no free configuration systems to support projects (like Razor or PVCS). HiberSource was started to be a configuration system to support full software life cycle with developing, verification and other certification activities.
For more information, please visit the project on the Open-DO forge.
Also posted in Open Source, Open-DO News Leave a comment