This project investigated issues concerning certification of systems with embedded “Object Oriented” (OO) software and their implementation using OO programming languages.
Some of the issues were associated with the particular implementation language used, while others affected OO software in general. Still other issues were compiler and tool related. But, all issues investigated by this project affected the verification of OO software and its approval by regulatory agencies.
Researchers created guidelines for developing OO software with a view of easing final certification of systems with respect to DO-178B. Alternatives were described in cases where specific OO features cannot be used. A white paper detailing research results clearly specified which issues and language features were investigated and which were not. References to existing guidelines were provided for issues and language features that were not the subject of this study.
Results of this project were presented to the FAA.
