A Formalism for the Specification of Operationally Embedded Reactive Systems

The Operational Procedure Information 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 information 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 information model, captured in a database and interrogated through a graphical user-interface, can be used for simulation, analysis, and the generation of code and documentation.

[1]  Edward Yourdon,et al.  Modern structured analysis , 1989 .

[2]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[3]  Zewei Chen,et al.  TBell: A mathematical tool for analyzing decision tables , 1994 .

[4]  George H. Mealy,et al.  A method for synthesizing sequential circuits , 1955 .

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

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

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

[8]  Nancy G. Leveson,et al.  Software Requirements Analysis for Real-Time Process-Control Systems , 1991, IEEE Trans. Software Eng..

[9]  David Lorge Parnas,et al.  Tabular Representation of Relations , 1992 .

[10]  David Lorge Parnas,et al.  Software aspects of strategic defense systems , 1985, CACM.

[11]  E. F. Moore.  Sequential Machines: Selected Papers , 1964 .

[12]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[13]  Tom DeMarco,et al.  Controlling software projects : management, measurement & estimation , 1982 .

[14]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[15]  Amnon Naamad,et al.  Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.

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

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

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

[19]  Pamela Zave,et al.  An Operational Approach to Requirements Specification for Embedded Systems , 1982, IEEE Transactions on Software Engineering.

[20]  William G. Wood,et al.  Comparative Evaluations of Four Specification Methods for Real-Time Systems , 1989 .

[21]  Cary R. Spitzer,et al.  Digital Avionics Systems , 1987 .

[22]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[23]  R. B. Hurley,et al.  Decision Tables in Software Engineering , 1983 .

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