Category Archives: Related Initiatives

Certification Together Conference

By Jamie Ayre | July 26, 2010

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.

Also posted in Agile/Lean Programming, Certification, Events | Leave a comment

Hi-Lite project officially launched

By Jamie Ayre | May 5, 2010

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.

Also posted in Certification, Open Source | Leave a comment

IEEE effort to standardize requirements capture language

By Jose Ruiz | October 22, 2009
In a recent announcement, IEEE has approved work to develop a standard for a language to capture software requirements. Unfortunately, I have not found much information about it. They mention that the information will be presented in a tree-like structure, which should fit well with the hierarchical organization of requirements in typical safety-critical development.
Also posted in Open-DO News | Tagged , , | Leave a comment

Interesting open-source partitioning kernel

By Jose Ruiz | June 5, 2009
I attended the 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.
Also posted in Certification, Open Source | Leave a comment

  • Categories

  • Open-DO Projects

    Agile
    Couverture
    GeneAuto/Ada
    HiberSource
    Hi-Lite
    The Qualifying Machine
    XReq

  • Want to get involved?

    The Open-DO Forge

  • Contact

    info@open-do.org