open-DO » Open Source 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 Hi-Lite project officially launched http://www.open-do.org/2010/05/05/hi-lite-launch/ http://www.open-do.org/2010/05/05/hi-lite-launch/#comments Wed, 05 May 2010 12:02:31 +0000 Jamie Ayre http://www.open-do.org/?p=1307 Yesterday saw the official launch of the Hi-Lite project. Financially supported by French national and local government agencies, Hi-Lite aims to increase the use of formal methods in developing high integrity software, particularly to meet the forthcoming DO-178C avionics standard.

Hi-Lite is completely based on libre software. The project is structured in two different toolchains for Ada and C based on GNAT/GCC compilers, the SPARK verification toolset and the Frama-C platform. The integration of these toolchains inside two industrial IDEs offers to the user a common interaction on Ada and C programs. In particular, mixed Ada/C programs can be verified against a common specification.

The project partners are AdaCore, Altran Praxis, Astrium Space Transportation, CEA-LIST, the ProVal team of INRIA and Thales Communications. AdaCore is the project leader. For more information please visit www.open-do.org/projects/hi-lite and to subscribe to the public mailing list please send email to hi-lite-discuss@lists.forge.open-do.org.

We will be reporting on its progress here as it reaches major milestones throughout the evolution of the project.

]]> http://www.open-do.org/2010/05/05/hi-lite-launch/feed/ 0 HiberSource project joins Open-DO http://www.open-do.org/2010/01/18/hibersource-project-joins-open-do/ http://www.open-do.org/2010/01/18/hibersource-project-joins-open-do/#comments Mon, 18 Jan 2010 13:59:45 +0000 Jamie Ayre http://www.open-do.org/?p=996 We are pleased to welcome the HiberSource project to Open-DO. This configuration management system is used to manage project data in accordance with DO-178B and supports the full software life cycle.

There are many free version control systems (such as SVN) but there are no free configuration systems to support projects (like Razor or PVCS). HiberSource was started to be a configuration system to support full software life cycle with developing, verification and other certification activities.

For more information, please visit the project on the Open-DO forge.

]]> http://www.open-do.org/2010/01/18/hibersource-project-joins-open-do/feed/ 0 Lean Principles in Open Source (Roberto di Cosmo) http://www.open-do.org/2009/07/08/lean-principles-in-open-source-roberto-di-cosmo/ http://www.open-do.org/2009/07/08/lean-principles-in-open-source-roberto-di-cosmo/#comments Wed, 08 Jul 2009 17:41:44 +0000 Jamie Ayre http://www.open-do.org/?p=550
(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

]]> http://www.open-do.org/2009/07/08/lean-principles-in-open-source-roberto-di-cosmo/feed/ 0 Interesting open-source partitioning kernel http://www.open-do.org/2009/06/05/interesting-open-source-partitioning-kernel/ http://www.open-do.org/2009/06/05/interesting-open-source-partitioning-kernel/#comments Fri, 05 Jun 2009 08:57:22 +0000 Jose Ruiz http://www.open-do.org/?p=481 DASIA 2009 conference las week, and I discovered a really nice open-source initiative targeting the high-integrity real-time community. The Real-Time Systems Group of the University of Valencia has developed an open-source hypervisor (partitioning kernel) called XtratuM, which is not ARINC compliant, but it provides temporal and spatial partitioning. It currently works on x86 and LEON2. I know personally the people behind this project, and I can encourage you to keep an eye on it.]]> http://www.open-do.org/2009/06/05/interesting-open-source-partitioning-kernel/feed/ 0 Albatross or the meeting of Open Source and Air Traffic Management http://www.open-do.org/2009/06/02/albatross-or-the-meeting-of-open-source-and-air-traffic-management/ http://www.open-do.org/2009/06/02/albatross-or-the-meeting-of-open-source-and-air-traffic-management/#comments Tue, 02 Jun 2009 13:24:00 +0000 Jamie Ayre http://www.open-do.org/?p=455 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.

]]> http://www.open-do.org/2009/06/02/albatross-or-the-meeting-of-open-source-and-air-traffic-management/feed/ 1 Lean Event Videos – Open-DO (Cyrille Comar) http://www.open-do.org/2009/04/16/lean-event-videos-open-do-cyrille-comar/ http://www.open-do.org/2009/04/16/lean-event-videos-open-do-cyrille-comar/#comments Thu, 16 Apr 2009 13:17:48 +0000 Jamie Ayre http://www.open-do.org/?p=234 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… Part 2 of 5   Part 3 of 5     Part 4 of 5   Part 5 of 5 ]]> http://www.open-do.org/2009/04/16/lean-event-videos-open-do-cyrille-comar/feed/ 1 Lean, Agile Approach to High-Integrity Software http://www.open-do.org/2009/04/07/lean-agile-approach-to-high-integrity-software/ http://www.open-do.org/2009/04/07/lean-agile-approach-to-high-integrity-software/#comments Tue, 07 Apr 2009 16:00:19 +0000 Jamie Ayre http://www.open-do.org/?p=280 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!

Jim Sutton (Lean guru and author of the award winning Lean Software Strategies) started the day by describing where Lean and Agile principles come from, what are their similarities and differences, and how in applying this methodologies it is possible to produce high-integrity software, at lower costs and higher profits. Emmanuel Chenu followed with a practical presentation on how his company (Thales Avionics) has embraced Agile practices to successfully bring value in avionics and how Agile and Lean principles (often seen as being opposed in their approach) helped to reduce costs.Before lunch, Cyrille Comar, presented the ideas and concepts behind the Open-DO initiative. David Jackson (Praxis) outlined in his talk his company’s approach to Lean thinking and its applicability to software development and system engineering problems. Alexandre Boutin presented some tools and practices for being more agile in documentation writing and recommended guidelines for Scrum practitioners and Roberto di Cosmo (Open Source guru) finished the day by looking at how numerous Open Source development communities have adapted Lean principles (many without realizing it!).

All in all it was a great day and the comments we’ve received from delegates confirmed that many place a lot of importance on Agile and Lean principles to help them bring real value and cost reduction to the products they’re developing, whatever the industry!

]]> http://www.open-do.org/2009/04/07/lean-agile-approach-to-high-integrity-software/feed/ 2 Concepts and Ideas http://www.open-do.org/2009/02/27/concepts-and-ideas/ http://www.open-do.org/2009/02/27/concepts-and-ideas/#comments Fri, 27 Feb 2009 14:58:20 +0000 Jamie Ayre http://www.open-do.org/?p=159 Open-Do – Initial concepts and idea  
View more presentations from AdaCore. (tags: ada open)
]]> http://www.open-do.org/2009/02/27/concepts-and-ideas/feed/ 5 Open-DO presentation at OpenCert conference http://www.open-do.org/2009/02/20/open-do-presentation-at-opencert-conference/ http://www.open-do.org/2009/02/20/open-do-presentation-at-opencert-conference/#comments Fri, 20 Feb 2009 10:36:26 +0000 Jamie Ayre http://www.open-do.org/?p=143 OpenCert conference being held in York this coming March. His talk “Open-DO: Open Framework for Critical Systems” fits in nicely with the general theme of Open Source Software Certification. Abstract Critical systems development pushes software quality to the extreme. When human life depends on the correct operation of the software, strict processes are put in place to ensure, as much as possible, the absence of errors in the airborne system. These processes are very tool-demanding, and these tools also need to follow stringent and rigorous guidelines to provide the proper guarantees of quality. The Open-DO initiative aims at providing a framework federating open-source tools for safety-critical systems. A key point is that these tools will come with the material to ensure that industrial users can trust their output and use them to develop software compliant to the highest integrity levels.]]> http://www.open-do.org/2009/02/20/open-do-presentation-at-opencert-conference/feed/ 1 Open-DO masterclass at Avionics http://www.open-do.org/2009/02/19/open-do-masterclass-at-avionics-09/ http://www.open-do.org/2009/02/19/open-do-masterclass-at-avionics-09/#comments Thu, 19 Feb 2009 14:51:49 +0000 Jamie Ayre https://www.open-do.org/?p=116 Avionics event (March 11-12, 2009) in Amsterdam. In a talk written by Franco and Ryan Brooks from Boeing, he will look at the current software challenges facing avionics systems, the motivation for a communal Open-DO effort, how development and contributions to Open-DO could take place and will speculate on possible business models. Abstract In 2002 John Knight ([1], [2]) enumerated the software challenges facing aviation systems. These challenges can be summarized as follows: (1) devise better techniques to estimate and manage development costs and their corresponding schedules; (2) bring under control application scale and improve tools and techniques to develop safety-critical software with less effort; (3) improve requirements  specification  and enable whole specification analysis; (4) prevent loopholes in the interplay between systems engineering and software engineering and cater for total system modeling; (5) account for system security; (6) enable the use of commercial-off-the-shelf components as a means of reducing costs; (7) develop techniques that enforce high levels of assurance of non-interference in the absence of physical separation; and (8) address the limitation of pure verification by testing and formulate comprehensive approaches to verification. While the solution to some of these issues is complete or underway (e.g. IMA – Integrated Modular Avionics – and ARINC 653 for (7), SysML and AADL for (4), or static analysis and formal methods for (8)), others remain unsolved. Addressing the remaining issues while incorporating the possibilities offered by the upcoming DO-178C standard will be a challenge for the avionics software industry, especially if each player goes solo.  In this presentation we argue for the need of a Free and Open-Source (FOSS) environment to construct certifiable software. This environment which we call Open-DO, is intended to be the common foundation on which high-integrity tools will be able to inter-operate and off-the-shelf certifiable components developed. It will also offer an ideal environment for teaching high-integrity software development practices in academia. After providing the motivation for a communal Open-DO effort, this presentation describes some of its possible components: the Open System Engineering Environment (OSEE) [3], Topcased [4], and “Project Coverage” [5]. OSEE, originally deployed on Boeing’s Longbow Apache helicopter program, is an Eclipse-based FOSS project aimed at organizing the complex interactions between suppliers and system integrators when creating  a single large system having stringent requirements for full lifecycle traceability, safety, verification, and document deliverables. This talk will introduce OSEE and explore how it could be used as a common engineering platform to develop applications which require DO-178B/C certification. OSEE comes with an action tracking system, a change management system, as well as a requirements and document management solution. Most importantly OSEE provides a framework for the integration of other applications at the data level. One family of such applications could be Topcased, born out of the French Aerospace Valley, it is also an Eclipse-based FOSS effort focusing on model-driven engineering for the realization of critical embedded systems. Benefiting from recent advances in hardware virtualization technology, the aim of “Project Coverage” is the production of a code coverage analysis toolset capable of generating DO-178B evidence for all levels of criticality. Beyond the production of useful tools and certification material for industrial users, an important goal of “Project Coverage” is to raise awareness and interest about safety-critical and certification issues in the FOSS community. While OSEE lays the foundations for the engineering environment, and Topcased brings modeling technologies into the picture, “Project Coverage” is the first step in direction of DO-178 FOSS verification tools. “Project Coverage” was born out of the FOSS group of the System@tic R&D competitive cluster. Both Topcased and “Project Coverage” are partly supported by French public funds. In its third and final part, this presentation will consider how development and contributions to Open-DO could take place and will speculate on possible business models. The presentation will end with a call to action for others to join this effort. References [1]    J. C. Knight. “Safety-Critical Systems: Challenges and Directions”, International Conference on Software Engineering, Orlando, Florida (May 2002). http://www.cs.virginia.edu/~jck/publications/knight.state.of.the.art.summary.pdf. [2]    J. C. Knight. “Software Challenges in Aviation Systems”, International Conference of Computer Safety, Reliability and Security, Catania, Italy (September 2002). http://www.cs.virginia.edu/~jck/publications/safecomp.2002.pdf [3]    “Open System Engineering Environment”, http://www.eclipse.org/proposals/osee/. [4]    “Topcased”. http://topcased.gforge.enseeiht.fr/. [5]    “Project Coverage”. http://libre.adacore.com/coverage/.]]> http://www.open-do.org/2009/02/19/open-do-masterclass-at-avionics-09/feed/ 0