Premium
A Formalism for the Specification of Operationally Embedded Reactive Systems
Author(s) -
Sherry Lance
Publication year - 1995
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.1995.tb01912.x
Subject(s) - formalism (music) , computer science , construct (python library) , system requirements specification , finite state machine , extended finite state machine , documentation , programming language , distributed computing , theoretical computer science , software engineering , art , musical , visual arts
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.