Cockpit display systems require logic for managing the modes of multiple components aboard the aircraft. Multiple competing criteria for display need to be applied and prioritized to ensure the most important and relevant information is displayed at all times. State machines provide a natural mechanism for representing system modes, while flow charts make it easy to represent complex flow logic. This paper outlines the use of Model-Based Design to efficiently design the control logic for a cockpit display system. By conducting functional and structural verification on the design model, errors in the design can be quickly discovered and corrected before the design is implemented in software.
This paper was presented at the AIAA Modeling and Simulation Technologies (MST) conference.