A formalism for the specification of operationally embedded reactive systems [in aircraft guidance/navigation systems]

The Operational Procedure Model, presented in this paper, provides a formalism for the specification of the behavior of operationally embedded reactive systems found in aircraft guidance and navigation systems. The model assigns semantic interpretations of the operational procedure construct to the elements of a finite state machine. The operational procedure construct captures the embedded operational behavior of the system over all the missions in the life-cycle. The finite state machine captures the reactive behavior of the system. The model, captured in a data-base and interrogated through a graphical user-interface, can be used for simulation, analysis, and the generation of code and documentation.

[1]  Paul Ebner Gartz.  Avionics Development and Integration System Methods , 1987, IEEE Aerospace and Electronic Systems Magazine.

[2]  S. Liden.  The evolution of Flight Management Systems , 1994, AIAA/IEEE Digital Avionics Systems Conference. 13th DASC.

[3]  Grady Booch,et al.  Object-Oriented Analysis and Design with Applications , 1990 .

[4]  Derek Coleman,et al.  Introducing Objectcharts or how to use Statecharts in object-oriented design , 1992 .

[5]  Paul Ward,et al.  Structured Development for Real-Time Systems , 1986 .

[6]  Delbert Hart,et al.  Visual communication of formal design properties-a case study , 1994, Proceedings of 1994 IEEE Symposium on Visual Languages.

[7]  David Harel,et al.  On visual formalisms , 1988, CACM.

[8]  Nancy G. Leveson,et al.  Requirements Specification for Process-Control Systems , 1994, IEEE Trans. Software Eng..

[9]  Derek J. Hatley,et al.  Strategies for Real-Time System Specification , 1987 .

[10]  Roberto Saracco,et al.  SDL - CCITT Specification and Description Language , 1982, IEEE Transactions on Communications.