open-DO » Events 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 ERTS² conference week http://www.open-do.org/2010/05/24/erts%c2%b2-conference-week/ http://www.open-do.org/2010/05/24/erts%c2%b2-conference-week/#comments Mon, 24 May 2010 14:18:39 +0000 Yannick Moy http://www.open-do.org/?p=1356 I spent a very interesting week in Toulouse last week. It started with a day of conference in which INRIA research labs showed a host of products and advanced research applicable to the domains of modeling and safety. There was in particular demos of Astrée (static analyzer for C, now sold by AbsInt Gmbh), Frama-C (framework for analyses on C, partner in Hi-Lite) and Alt-Ergo (prover SMT, partner in Hi-Lite).

It continued with the conference ERTS² during 3 days, which gathered many French and European providers and customers of embedded solutions. I’d like to highlight 3 presentations:

]]> http://www.open-do.org/2010/05/24/erts%c2%b2-conference-week/feed/ 1 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 Embarquez Agile workshop http://www.open-do.org/2010/03/02/embarquez-agile-workshop/ http://www.open-do.org/2010/03/02/embarquez-agile-workshop/#comments Tue, 02 Mar 2010 09:16:51 +0000 Jamie Ayre http://www.open-do.org/?p=1038 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.

]]> http://www.open-do.org/2010/03/02/embarquez-agile-workshop/feed/ 0 FM+AM’2010 Workshop http://www.open-do.org/2010/03/01/fmam2010-workshop/ http://www.open-do.org/2010/03/01/fmam2010-workshop/#comments Mon, 01 Mar 2010 08:50:24 +0000 Jamie Ayre http://www.open-do.org/?p=1030 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

]]> http://www.open-do.org/2010/03/01/fmam2010-workshop/feed/ 0 Agile Tour 2009 http://www.open-do.org/2009/10/27/agile-tour-2009/ http://www.open-do.org/2009/10/27/agile-tour-2009/#comments Tue, 27 Oct 2009 11:40:18 +0000 Florian Villoing http://www.open-do.org/?p=803 Last week I attented the Grenoble (October 20, 2009) and Valence (October 22, 2009) conferences as part of the Agile Tour 2009 series. These events were a big success and attracted more than 450 attendees! I would like to thank one more time the CARA who did a very good job at organizing these.

The presentations were of very high quality and their diversity pleased practionners as well as managers and students. All the slides are accessible on the CARA’s website (French and English).

I gave a talk in Grenoble and Valence about the infrastructure and processes we put in place at AdaCore to build and test on a daily basis all our compilation chains and accompanying technology in a Lean fashion.

I also presented the “qualification machine” we have built based on open source technology to ease the DO-178B tool qualification process by adopting an agile philosophy.

Lean Software Production and Qualification Infrastructures
View more documents from AdaCore.
]]> http://www.open-do.org/2009/10/27/agile-tour-2009/feed/ 0 DO-178C Upcoming Guidance for OOS http://www.open-do.org/2009/09/21/do-178c-upcoming-guidance-for-oos/ http://www.open-do.org/2009/09/21/do-178c-upcoming-guidance-for-oos/#comments Mon, 21 Sep 2009 14:53:33 +0000 Jamie Ayre http://www.open-do.org/?p=746 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 OOS
View more presentations from AdaCore.
]]> http://www.open-do.org/2009/09/21/do-178c-upcoming-guidance-for-oos/feed/ 0