Excellent paper on avionics software certification

John Rushby from the SRI International Computer Science Library has written a very interesting paper considering the “New Challenges In Certification For Aircraft Software”.


We outline the current approach to certification of aircraft software, and the role of the DO-178B guidelines. We consider evidence for its effectiveness and discuss possible explanations for this. We then describe how changes in aircraft systems and in the air traffic system pose new challenges for certification, chiefly by increasing the extent of interaction and integration.

The full paper can be found at http://www.csl.sri.com/users/rushby/papers/emsoft11.pdf
This entry was posted in Certification. Bookmark the permalink. Post a comment or leave a trackback: Trackback URL.

One Comment

  1. Asterion Daedalus
    Posted July 3, 2012 at 04:38 | Permalink

    Note the implications for OpenDO in the statement from this report:

    “Verication tools are treated more lightly because they have traditionally not been used to justify elimination of other verication or development processes; DO-178C introduces an intermediate classication for verication tools that are used to justify such elimination and raises the bar on their qualication.”

    There may be a need for an additional project to provide tool qualification data for tools offered from the site.

Post a Comment

Your email is never published nor shared. Required fields are marked *

  • Categories

  • Open-DO Projects

  • Contact

    info @ open-do.org