IP 217 – An information model for requirements and design

This project will be about the IP217 information model and how its concepts, definitions, and relationships can help to reduce the many ambiguities, flawed or outdated definitions, and inconsistencies present in core text of DO-178B/C.

DO-178B/C Core Text Problems

History of IP217

Rationale for presenting IP217 on OpenDO

Foundations and Principles

Key Definitions

Information Model

Solutions Provided by IP217

Applying IP217

  • 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
  • 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
  • Meta

    • Log in
gipoco.com is neither affiliated with the authors of this page nor responsible for its contents. This is a safe-cache copy of the original web site.