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.
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.”
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.
Cyrille Comar gave a talk at the recent 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.
Here’s the fifth in a series of videos shot at the recent “Lean, Agile Approach to High-Integrity Software” Event. In this talk, Alexandre Boutin, Lean & Agile Coach at Yahoo! presents his uniquely Agile approach to creating and maintaining documentation.
(Viewing tip: click the ‘HQ’ button on the video controller for better image quality, it helps a lot for the slides)
The talk is presented here is 3 parts.
Part 1 of 3
To view parts 2-3 of this talk click the ‘Read More’ link just below…
Following on from the talk given by Jose F. Ruiz at DASIA 2009, a number of Open-DO presentations will be given at upcoming events.
June 4: Safety-Critical Systems Club – the Tools and Culture for Optimum Return on Investment, Mod Abbeywood, UK. Franco Gasperoni will be giving a talk entitled “Open-DO: A Call to Action for DO-178B and other Safety-Critical Softwareâ€.
June 24 + 25: International SPICE Days and Eclipse Embedded Day, Stuttgart, Germany. Nicolas Setton will be giving a talk entitled “Open-DO and OSEE: agile methods for producing high-integrity software”.
If you are nearby and are interested, why not go along and enjoy!
Here’s the fourth in a series of videos shot at the recent “Lean, Agile Approach to High-Integrity Software” Event. In this talk, Dave Jackson, Technical Delivery Manager
at Praxis, talks about how Praxis uses Lean thinking both inside and outside their company. Each week we will post a new talk from this event. Enjoy!
(Viewing tip: click the ‘HQ’ button on the video controller for better image quality, it helps a lot for the slides)
The talk is presented here is 4 parts.
Part 1 of 4To view parts 2-4 of this talk click the ‘Read More’ link just below… Read More »
Here’s the third in a series of videos shot at the recent “Lean, Agile Approach to High-Integrity Software” Event. In this talk, Emmanuel Chenu, software development coach at Thales Avionics, shares his experiences working with Agile development methods. Each week we will post a new talk from this event. Enjoy!
(Viewing tip: click the ‘HQ’ button on the video controller for better image quality, it helps a lot for the slides)
The talk is presented here is 4 parts.
Part 1 of 4To view parts 2-4 of this talk click the ‘Read More’ link just below… Read More »
Here’s the second in a series of videos shot at the recent “Lean, Agile Approach to High-Integrity Software” Event. In this talk, Jim Sutton, author of Lean Software Strategies and winner of the 2007 Shingo Prize presents a contrast and comparison of Lean and Agile methods. Each week we will post a new talk from this event. Enjoy!
(Viewing tip: click the ‘HQ’ button on the video controller for better image quality, it helps a lot for the slides)
The talk is presented here is 5 parts. You can also download the presentation slides if you want to follow along.
Part 1 of 5 To view parts 2-5 of this talk click the ‘Read More’ link just below… Read More »
As promised, here’s the first in a series of videos shot at the recent “Lean, Agile Approach to High-Integrity Software”. We start with Cyrille Comar from AdaCore presenting the concepts around the Open-DO initiative. Each week we will post a new talk from this event. Enjoy!
(Viewing tip: click the ‘HQ’ button on the video controller for better image quality, it helps a lot for the slides)
The talk is presented here is 5 parts. You can also download the presentation slides if you want to follow along.
Part 1 of 5To view parts 2-5 of this talk click the ‘Read More’ link just below… Read More »