open-DO
Toward a cooperative and open framework for the development of certifiable software
Skip to content
About Open-DO
Airborne Software Certification Explained
Projects
IP 217 – An information model for requirements and design
OpenDO Project – Rationale
IP217 Foundations and Principles
IP217 Definition of Requirement
IP217 Definition of Design
IP217 Definition of Verification
History of IP217
Key Definitions
IP217 Information Model
Solutions Provided by IP217
DO-178B/C Core Text Problems
Applying IP217
Agile
Couverture
GeneAuto/Ada
Project Qualifying Machine
QMÂ - Presentation
QMÂ - Design
HiberSource
Project Hi-Lite
A Database Example
Hi-Lite Partners
Hi-Lite Resources
A Lighter Introduction to Hi-Lite
Hi-Lite Progress
Hi-Lite News and Events
Formal Containers
SOCIS 2012 Project
Project Hi-Lite / GNATprove
XReq
Project P
Open-DO conference
Open-DO Conference Abstracts
White Paper: High-Integrity Object-Oriented Programming in Ada
DO-178B/C Core Text Problems
Search
Categories
Select Category
Agile/Lean Programming
Certification
Events
In the Press
Open Source
Open-DO News
Papers and Slides
Related Initiatives
Videos
Open-DO Projects
Agile
Couverture
GeneAuto/Ada
HiberSource
Hi-Lite
Project P
The Qualifying Machine
Sparkel
XReq
Contact
info @ open-do.org
Blogroll
carlodaffara.conecta.it
David A. Wheeler's Blog
David Crocker's Verification Blog
Emmanuel Chenu
Frama-C news and ideas
Herding Cats
Rustan Leino's Verification Corner
The Abnormal Distribution
RSS Feeds
All posts
All comments