The next talk in our series from the recent Open-DO Conference is from Hervé Delseny, an expert in Avionics Software Aspects of Certification at Airbus. In his talk he gives examples of Airbus’ use of Formal Methods to verify avionics software, and summarises the integration of Formal Methods in the upcoming ED-12/DO-178 issue C.
You [...]
The next talk in our series from the recent Open-DO Conference is from Neil White, Principal Engineer with Altran Praxis. His talk provides an overview of the formal methods used on the iFACTS project. iFACTS is delivering increased Air Traffic Control capability to the UK.
You can also view the presentation slides if you want to [...]
The next talk in our series from the recent Open-DO Conference is from Dr. Peter Gardner. Peter has twenty years experience in languages and software development methodologies and acts as the focal point for UML in Silver Atena. His talk surveys Agile methods and formulates a list of features that occur in these methods, then [...]
The next talk in our series from the recent Open-DO Conference is from Cyrille Comar, Managing Director of AdaCore EU, who gives an update on the latest happenings with the Open-DO initiative and talks about AdaCore’s new French government funded project, Hi-Lite, which has the goal of promoting the use of formal methods in developing [...]
A big thank you to all those who attended the very successful Open-DO event in Paris on March 11, 2010. And if you missed it, don’t worry. We’ll be posting videos of all the talks over the coming weeks.
The conference was dedicated to exploring the possibilities of combining formality with agility for [...]
Embarquez Agile (Embed Agility) is a one day conference being organized by AeroSpace Valley competitive cluster. The event will take place in Bordeaux, France on March 18, 2010. Cyrille Comar and Matteo Bordin will be giving talks around the Open-DO initiative and the notion of Qualifying Machine.
More details can be found here.
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, Jim Sutton presents a talk on a Lean approach to one of the most import aspects of starting any development project: selecting the right programing language.
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.