Realizing DO-178C´s value by using new technology: OOT, MBDV, TQC & FM

Software running in Aircraft cockpits has drastically increased in complexity since DO-178B´s revision in 1992. Furthermore, over the past 20 years, software development methods have made gigantic leaps forward and DO-178B has begun to show its age with respect to the new technology introduced to facilitate software development. This year the newly revamped DO-178C standard sets the certification process´ record straight by embracing modern technology. DO-178C does not only solidify its foundation by clarifying its core document but also builds the infrastructure to support modern software development techniques already commonly used in avionics´ development for at least a decade. Fortunately, DO-178C upgrades and clarifies DO-178B. DO-178C also considers four techniques of contemporary software development practices which are published as supplements to the core document: 1. Software Tool Qualification Considerations (TQC) [DO-330] 2. Model-Based Design and Verification Supplement (MBDV) [DO-331] 3. Object-Oriented Technology Supplement (OOT) [DO-332] 4. Formal Methods Supplement (FM) [DO-333] This white paper explains the benefits of the Formal Methods and Object-Oriented Technology that DO-178C provides. It also specifically focuses on the usage of Models and COTS Qualifiable tools that automate or facilitate the verification and validation of avionics applications constructed from Models in order to ensure that there is no unintended function.