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 http://www.open-do.org/2009/12/09/agile-for-safety-critical-software/ http://www.open-do.org/2009/12/09/agile-for-safety-critical-software/#comments Wed, 09 Dec 2009 22:18:27 +0000 Jose Ruiz http://www.open-do.org/?p=911 SD Times talked about Agile techniques for achieving continuous certification in Agile for safety-critical software.]]> http://www.open-do.org/2009/12/09/agile-for-safety-critical-software/feed/ 0 http://www.open-do.org/2009/10/22/ieee-effort-to-standardize-requirements-capture-language/ http://www.open-do.org/2009/10/22/ieee-effort-to-standardize-requirements-capture-language/#comments Thu, 22 Oct 2009 08:24:01 +0000 Jose Ruiz http://www.open-do.org/?p=797 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.]]> http://www.open-do.org/2009/10/22/ieee-effort-to-standardize-requirements-capture-language/feed/ 0 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