open-DO » Videos

Formal Method for Avionics Software Verification (Hervé Delseny)

Jamie Ayre — Wed, 28 Apr 2010 17:26:19 +0000

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.

The Use of Formal Methods on the iFACTS ATC Project (Neil White)

Jamie Ayre — Tue, 20 Apr 2010 17:24:23 +0000

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.

Agile Methods and Safety-Critical Software (Peter Gardner)

Jamie Ayre — Mon, 12 Apr 2010 16:11:38 +0000

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.

Formal Versus Agile: Survival of the Fittest? (Paul Boca)

Jamie Ayre — Mon, 22 Mar 2010 17:12:19 +0000

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.

Selecting a Programming Language – The Modern Way

Gary Matoso — Tue, 17 Nov 2009 18:04:41 +0000

Speaking at the Ada UK Conference 2009 in London, Jim Sutton presents a talk on a Lean approach to one of the most import aspects of starting any development project: selecting the right programing language.

Project Coverage and the Open-DO Initiative

Jamie Ayre — Wed, 04 Nov 2009 14:34:36 +0000

Speaking at the Ada UK Conference 2009 in London, Franco Gasperoni presents and positions requirement-based testing and coverage analysis in terms of the Avionics standard DO-178B. He then goes on to show how the Open-DO initiative (through Project Coverage) is addressing these needs.

Lean Principles in Open Source (Roberto di Cosmo)

Jamie Ayre — Wed, 08 Jul 2009 17:41:44 +0000

Here’s the sixth and last in a series of videos shot at the recent “Lean, Agile Approach to High-Integrity Software” Event. In this talk, Roberto di Cosmo, Professor of Computer Science at the Paris Diderot, presents his observations and research on the realities and challenges of building open-source communities.

(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 4

To view parts 2-4 of this talk click the ‘Read More’ link just below…

Part 2 of 4

Part 3 of 4

Part 4 of 4

Create and Maintain Scrum Documentation Effectively (Alexandre Boutin)

Carlo Daffara — Wed, 01 Jul 2009 14:19:43 +0000

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…

Part 2 of 3

Part 3 of 3

Lean Thinking Inside and Outside a Software Engineering Company

Cyrille Comar — Fri, 15 May 2009 02:21:39 +0000

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 4 To view parts 2-4 of this talk click the ‘Read More’ link just below… Part 2 of 4 Part 3 of 4 Part 4 of 4

Avionics, Agility and Lean

Cyrille Comar — Thu, 07 May 2009 04:04:58 +0000

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 4 To view parts 2-4 of this talk click the ‘Read More’ link just below… Part 2 of 4 Part 3 of 4 Part 4 of 4