Affordable implementation of reliable avionics systems

Affordable and reliable implementation of the embedded hybrid control systems that are found in current and planned air transport applications is critical to the successful deployment of these systems. The operational procedure method has been shown to be a good method for designing, analyzing, and implementing these hybrid systems. The paper discusses a variety of extensions to the current model. Some of these extensions can be easily implemented in the HOPTs (hierarchical operational procedure tables) tool. These include the graphical visualization, support for managing hierarchical completeness and consistency, limited scope correctness checks, and assistance with self-loop construction to ensure stability