open-DO » Jamie Ayre http://www.open-do.org Toward a cooperative and open framework for the development of certifiable software Mon, 26 Jul 2010 09:49:12 +0000 en hourly 1 Certification Together Conference http://www.open-do.org/2010/07/26/certification-together-conference/ http://www.open-do.org/2010/07/26/certification-together-conference/#comments Mon, 26 Jul 2010 09:49:12 +0000 Jamie Ayre http://www.open-do.org/?p=1439 According to the website, “The Certification Together International Conference for the Aeronautical Industry is the only event in Europe fully dedicated to System, Software and Hardware certification challenges.”

Looking at the program, a large part of it, as you’d expect, is dedicated to the changes in the upcoming DO-178C standard and how it will affect current certification process and practices. Coupled with these are more practical, hand-on user studies provided by primes and vendors alike.

Cyrille Comar will be giving a talk based around “The challenges of Agile certification” and an update on the Object Oriented Technology (OOT) supplement of DO-178C.

The event will be held in Toulouse, France – Oct 26-28.

]]> http://www.open-do.org/2010/07/26/certification-together-conference/feed/ 0 Achieving Embedded Software Safety with Agility http://www.open-do.org/2010/07/09/achieving-embedded-software-safety-with-agility/ http://www.open-do.org/2010/07/09/achieving-embedded-software-safety-with-agility/#comments Fri, 09 Jul 2010 10:25:36 +0000 Jamie Ayre http://www.open-do.org/?p=1420 In this recently published article in Embedded Technology, Jose Ruiz looks at how Agile methods can be successfully applied when building safety-critical embedded software. He concludes:

“Production of safety-critical systems is typically expensive and not conducive to changes. Agile techniques can help increase the level of automation in production and certification, increasing adaptability to changing requirements and reducing delivery time and cost. These methods are based on iterative and incremental development, verified by continuous and automated tests. This notion can be extended to all certification artifacts to achieve continuous certification.”

To read the full article, please click here.

]]> http://www.open-do.org/2010/07/09/achieving-embedded-software-safety-with-agility/feed/ 0 Couverture paper presented at ERTS² 2010 http://www.open-do.org/2010/06/08/erts2010-papers/ http://www.open-do.org/2010/06/08/erts2010-papers/#comments Tue, 08 Jun 2010 13:01:55 +0000 Jamie Ayre http://www.open-do.org/?p=1399 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.

]]> http://www.open-do.org/2010/06/08/erts2010-papers/feed/ 0 XReq Project http://www.open-do.org/2010/06/02/xreq/ http://www.open-do.org/2010/06/02/xreq/#comments Wed, 02 Jun 2010 10:21:21 +0000 Jamie Ayre http://www.open-do.org/?p=1379 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.

]]> http://www.open-do.org/2010/06/02/xreq/feed/ 0 Hi-Lite project officially launched http://www.open-do.org/2010/05/05/hi-lite-launch/ http://www.open-do.org/2010/05/05/hi-lite-launch/#comments Wed, 05 May 2010 12:02:31 +0000 Jamie Ayre http://www.open-do.org/?p=1307 Yesterday saw the official launch of the Hi-Lite project. Financially supported by French national and local government agencies, Hi-Lite aims to increase the use of formal methods in developing high integrity software, particularly to meet the forthcoming DO-178C avionics standard.

Hi-Lite is completely based on libre software. The project is structured in two different toolchains for Ada and C based on GNAT/GCC compilers, the SPARK verification toolset and the Frama-C platform. The integration of these toolchains inside two industrial IDEs offers to the user a common interaction on Ada and C programs. In particular, mixed Ada/C programs can be verified against a common specification.

The project partners are AdaCore, Altran Praxis, Astrium Space Transportation, CEA-LIST, the ProVal team of INRIA and Thales Communications. AdaCore is the project leader. For more information please visit www.open-do.org/projects/hi-lite and to subscribe to the public mailing list please send email to hi-lite-discuss@lists.forge.open-do.org.

We will be reporting on its progress here as it reaches major milestones throughout the evolution of the project.

]]> http://www.open-do.org/2010/05/05/hi-lite-launch/feed/ 0 Formal Method for Avionics Software Verification (Hervé Delseny) http://www.open-do.org/2010/04/28/formal-versus-agile-survival-of-the-fittest-herve-delseny/ http://www.open-do.org/2010/04/28/formal-versus-agile-survival-of-the-fittest-herve-delseny/#comments Wed, 28 Apr 2010 17:26:19 +0000 Jamie Ayre http://www.open-do.org/?p=1250 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 can also view the presentation slides if you want to follow along.

Formal Method for Avionics Software Verification
View more presentations from AdaCore.
]]> http://www.open-do.org/2010/04/28/formal-versus-agile-survival-of-the-fittest-herve-delseny/feed/ 0 The Use of Formal Methods on the iFACTS ATC Project (Neil White) http://www.open-do.org/2010/04/20/the-use-of-formal-methods-on-the-ifacts-air-traffic-control-project/ http://www.open-do.org/2010/04/20/the-use-of-formal-methods-on-the-ifacts-air-traffic-control-project/#comments Tue, 20 Apr 2010 17:24:23 +0000 Jamie Ayre http://www.open-do.org/?p=1126 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 Use of Formal Methods on the iFACTS Air Traffic Control Project
View more presentations from AdaCore.
]]> http://www.open-do.org/2010/04/20/the-use-of-formal-methods-on-the-ifacts-air-traffic-control-project/feed/ 0 Agile Methods and Safety-Critical Software (Peter Gardner) http://www.open-do.org/2010/04/12/agile-methods-and-safety-critical-software-peter-gardner/ http://www.open-do.org/2010/04/12/agile-methods-and-safety-critical-software-peter-gardner/#comments Mon, 12 Apr 2010 16:11:38 +0000 Jamie Ayre http://www.open-do.org/?p=1112 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.

Agile methods and safety critical software – Peter Gardner
View more presentations from AdaCore.
]]> http://www.open-do.org/2010/04/12/agile-methods-and-safety-critical-software-peter-gardner/feed/ 7 Open-DO Update (Cyrille Comar) http://www.open-do.org/2010/03/30/opendo-conf-cyrille-comar/ http://www.open-do.org/2010/03/30/opendo-conf-cyrille-comar/#comments Tue, 30 Mar 2010 20:04:40 +0000 Jamie Ayre http://www.open-do.org/?p=1081 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.

Open-DO Update
View more presentations from AdaCore.
]]> http://www.open-do.org/2010/03/30/opendo-conf-cyrille-comar/feed/ 0 Formal Versus Agile: Survival of the Fittest? (Paul Boca) http://www.open-do.org/2010/03/22/formal-versus-agile-survival-of-the-fittest-paul-boca/ http://www.open-do.org/2010/03/22/formal-versus-agile-survival-of-the-fittest-paul-boca/#comments Mon, 22 Mar 2010 17:12:19 +0000 Jamie Ayre http://www.open-do.org/?p=1068 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.

Formal Versus Agile: Survival of the Fittest? (Paul Boca)
View more presentations from AdaCore.
]]> http://www.open-do.org/2010/03/22/formal-versus-agile-survival-of-the-fittest-paul-boca/feed/ 0