Author Archives: Jose Ruiz

Agile for safety-critical software

By Jose Ruiz | December 9, 2009

SD Times talked about Agile techniques for achieving continuous certification in Agile for safety-critical software.

Posted in Agile/Lean Programming, Certification, In the Press | 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.

Posted in Open-DO News, Related Initiatives | 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 [...]

Posted in Certification, Open Source, Related Initiatives | Leave a comment

  • Categories

  • Open-DO Projects

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

  • Want to get involved?

    The Open-DO Forge

  • Contact

    info@open-do.org