Category Archives: Open-DO News

Open-DO Forge launched

Over the summer the Open-DO team has been busy working on putting in place the Open-DO Forge (collaborative platform) that will host all the current projects being developed. There are currently 3, with more planned:

  • Gene-Auto – a DO-178-qualifiable model compiler for synchronous modeling languages such as Simulink, StateFlow and Scicos.
  • IP217 Information Model for reqs/design whose purpose is to develop and present a fully explained, detailed, exampled and documented version of the IP217 information model for requirements and design and verification.
  • Couverture – a coverage analysis toolset for safety-critical software projects undergoing a DO-178B software audit process for all levels of criticality.
  • Please visit these projects, join, and start contributing to them if they are of interest to you!

    Posted in Open-DO News | Leave a comment

    Lean Principles in Open Source (Roberto di Cosmo)

    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…

    Read More »
    Also posted in Open Source, Videos | Leave a comment

    The mystery of IP 217 revealed

    Several of you have asked what IP 217 refers to. Below is a description of the Issue Paper supplied by Dewi Daniels from Silver Atena and DO-178C committee participant:

    A number of presentations on Open-DO, including “Open-DO: a call to action” posted to the Open-DO web site, have mentioned something called IP 217 and several people have asked, “What is IP 217?”. Well, IP 217 was an (infamous) Issue Paper produced as part of the DO-178C/ED-12C standardisation effort.

    Read More »
    Posted in Open-DO News | Tagged | 1 Comment

    Open source and certified systems

    Carlo Daffara has sent through this interesting post that looks at the myth that Open Source software isn’t appropriate for building systems that require certification…Thanks Carlo!

    The popular idea that open source, as a collaboratively developed system, does not have the intrinsic quality or reliability to be part of life critical system is quite common. As an example a recent white paper, published by the Election Technology Council (an industry trade association representing providers for over 90% of the voting systems used in the United States), analyses the potential role of open source software in voting systems, and claims that the inherent process that creates OSS is unable to meet the quality standard necessary for a system that must meet strict certifications. Read More »
    Posted in Open-DO News | Leave a comment

    Upcoming Open-DO talks

    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 8: Ada Europe 2009, Brest, France. Matteo Bordin will be giving a talk entitled “Couverture – An Innovative Open Framework for Coverage Analysis of Safety Critical Applications“.

    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!
    Also posted in Events | Leave a comment

    Albatross or the meeting of Open Source and Air Traffic Management

    Albatross is the Open Source ATM community according to founders Skysoft-ATM. The vision is to tackle vendor lock-in and offer “easier access to technology to small and medium size airports and centers in emerging markets.”

    One of the projects they (currently 39 members) are working on is the Albatross Display which is described as a “open source Air Traffic Controller environment to provide a full Controller Working Position.” with the first release planned for the end of this month (June 2009). The certified version of the project is planned for Q4 2009.

    Their blog can be found here.

    Also posted in Certification, Open Source | 1 Comment

    Avionics, Agility and Lean

    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… Read More »
    Also posted in Agile/Lean Programming, Certification, Events, Videos | 1 Comment

    Lean, Agile and the Human Condition (Jim Sutton)

    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 »
    Also posted in Agile/Lean Programming, Certification, Events, Videos | Leave a comment

    Lean Event Videos – Open-DO (Cyrille Comar)

    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 5 To view parts 2-5 of this talk click the ‘Read More’ link just below… Read More »
    Also posted in Certification, Events, Open Source, Videos | Leave a comment

    Lean, Agile Approach to High-Integrity Software

    The “Lean, Agile Approach to High-Integrity Software” event took place on March 26 at the Maison de la Chimie in Paris. In all, over 80 people joined us for a day dedicated to looking at ways in which Lean and Agile methods can (and are!) being used to develop software that requires certification – a very heavy process as many of you will know. The videos and slides from the workshop will be posted at a rate of 1 per week starting next week. Thanks to everyone that participated and made the day so valuable!

    Read More »
    Also posted in Agile/Lean Programming, Certification, Events, Open Source | 3 Comments
    • Categories

    • Open-DO Projects

    • Contact

      info @ open-do.org