Following the inaugural event last year, the 2nd International Workshop on Formal Methods and Agile Methods is taking place in Pisa, Italy, September 17 2010.
According to the website, “the aim of this workshop is to seek and to discuss novel ideas about combining FM and AM in the domain of software development, with the goal [...]
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 [...]
Speaking at the Ada UK Conference 2009 in London, Franco Gasperoni presents and positions requirement-based testing and coverage analysis in terms of the Avionics standard DO-178B. He then goes on to show how the Open-DO initiative (through Project Coverage) is addressing these needs.
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 [...]