In a recent article in Avionics Intelligence, Cyrille Comar and others describe the upcoming DO-178C standard and the differences between it and the existing DO-178B one:
“Avionics software designers are quite familiar with the DO-178B certification process for flight software from the Federal Aviation Administration (FAA) and the European Aviation Safety Agency (EASA). However, current technology [...]
Cyrille Comar gave a talk at the recent SAFECOMP conference on the work being undertaken by the SC-205 and WG-71 working group on the upcoming DO-178C standard. He gives particular attention to the Tools Qualification Supplement, the OOT (Object-Oriented Technology) Supplement, and the Formal Methods Supplement.
DO 178C Upcoming Guidance for OOSView more presentations [...]
Over the summer the Open-DO team has been busy working on putting in place the Open-DO Forge (collaborative platform) that will host all the current projects being developed. There are currently 3, with more planned:
Gene-Auto – a DO-178-qualifiable model compiler for synchronous modeling languages such as Simulink, StateFlow and Scicos.
IP217 Information Model for reqs/design [...]
Here’s the sixth and last in a series of videos shot at the recent “Lean, Agile Approach to High-Integrity Software” Event. In this talk, Roberto di Cosmo, Professor of Computer Science at the Paris Diderot, presents his observations and research on the realities and challenges of building open-source communities.
(Viewing tip: click [...]
Several of you have asked what IP 217 refers to. Below is a description of the Issue Paper supplied by Dewi Daniels from Silver Atena and DO-178C committee participant:
A number of presentations on Open-DO, including “Open-DO: a call to action” posted to the Open-DO web site, have mentioned something called IP 217 and several people [...]
Carlo Daffara has sent through this interesting post that looks at the myth that Open Source software isn’t appropriate for building systems that require certification…Thanks Carlo!
The popular idea that open source, as a collaboratively developed system, does not have the intrinsic quality or reliability to be part of life critical system is quite common. As [...]
Following on from the talk given by Jose F. Ruiz at DASIA 2009, a number of Open-DO presentations will be given at upcoming events.
June 4: Safety-Critical Systems Club – the Tools and Culture for Optimum Return on Investment, Mod Abbeywood, UK. Franco Gasperoni will be giving a talk entitled “Open-DO: A Call to Action for DO-178B and [...]
Albatross is the Open Source ATM community according to founders Skysoft-ATM. The vision is to tackle vendor lock-in and offer “easier access to technology to small and medium size airports and centers in emerging markets.”
One of the projects they (currently 39 members) are working on is the Albatross Display which is described as a “open source Air Traffic Controller environment [...]
An interesting article was published in Defense News concerning recent issues encountered when certifying the software that drives the TP400 engine used on the A400M military transport plane:
“The problem came from having to demonstrate to the European Aviation Safety Authority traceability through the development cycles.”
The full article can be read here: