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 follow along.
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 considers whether each of the features can be applied in the field of safety-critical software development.
You can also view the presentation slides if you want to follow along.
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 high-integrity software.
You can also view the presentation slides if you want to follow along.
Earlier this month, on March 3rd, AdaCore was awarded a grant by the French government and local authorities to develop an innovative set of tools integrated with its GNAT Pro platform. AdaCore is leading a consortium of 2 research institutes (CEA-List, the ProVal team of INRIA) and 4 industrial companies (AdaCore, Altran, Astrium and Thales Communications) in this effort. The project, named Hi-Lite, is starting in mid-2010 and will continue for 3 years.
Hi-Lite’s goal is to promote the use of formal methods in developing high-integrity software. It loosely integrates formal proofs with testing and static analysis, thus allowing developers to combine different techniques around a common expression of properties and constraints.
Hi-Lite is completely based on free software. The project is structured as two different toolchains for Ada and C based on GNAT/GCC compilers (Ada and C), the CodePeer static analyzer (Ada), the SPARK verification toolset (Ada) and the Frama-C platform (C).
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 critical software development. We start with Paul Boca from Hornbill Systems Ltd, who makes the case that formal methods can complement agile practices and vice versa.
Each week we will post a new talk from this event. Enjoy!
You can also view the presentation slides if you want to follow along.
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 of making formally sound development methods faster, and rapid methods of development more formally sound. This goal could be approached in various different ways, for example by providing tool support to an ‘agile’ software development group, or by adopting ‘agile’ practices such as pair work into the domain of formal modelling.”
More information can be found at http://fm-am-2010.tripod.com/index.html
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.