open-DO » Agile/Lean Programming 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 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 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 for safety-critical software http://www.open-do.org/2009/12/09/agile-for-safety-critical-software/ http://www.open-do.org/2009/12/09/agile-for-safety-critical-software/#comments Wed, 09 Dec 2009 22:18:27 +0000 Jose Ruiz http://www.open-do.org/?p=911 SD Times talked about Agile techniques for achieving continuous certification in Agile for safety-critical software.]]> http://www.open-do.org/2009/12/09/agile-for-safety-critical-software/feed/ 0 The Open-DO Qualifying Machine http://www.open-do.org/2009/12/02/the-open-do-qualifying-machine/ http://www.open-do.org/2009/12/02/the-open-do-qualifying-machine/#comments Wed, 02 Dec 2009 09:29:24 +0000 matteo bordin http://www.open-do.org/?p=903 Qualifying Machine (QM) is an agile and lean infrastructure to ease DO-178 tool qualification. The main goal of a QM is to ease the manipulation of all artifacts within the whole application life cycle and to track the activities performed by the development team.

Within Open-DO, we released an instantiation of the QM concept for GNATcheck, a coding standard checking tool qualifiable for DO-178. The infrastructure and qualification material (including the Tool Qualification Plan and the testing framework) are freely available as open source in the Open-DO forge. With this initiative, we intend to promote open collaborations in the high-assurance domain and to show how to deploy a lean and agile qualification process.

You can get more information on the Open-DO Qualifying Machine and download its instantiation for GNATcheck here.]]> http://www.open-do.org/2009/12/02/the-open-do-qualifying-machine/feed/ 0 Selecting a Programming Language – The Modern Way http://www.open-do.org/2009/11/17/selecting-a-programming-language-the-modern-way/ http://www.open-do.org/2009/11/17/selecting-a-programming-language-the-modern-way/#comments Tue, 17 Nov 2009 18:04:41 +0000 Gary Matoso http://www.open-do.org/?p=848


]]> http://www.open-do.org/2009/11/17/selecting-a-programming-language-the-modern-way/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