Title :
The LAVI avionics development methodology
Abstract :
An account is given for the methodology used for the development of the LAVI avionic system. The approach to system description and the definitions of system, state, process, and message and their relations are introduced. The recursive process of system description is explained, emphasizing the role of the control concept as part of the methodology
Keywords :
software engineering; LAVI avionic system; LAVI avionics development methodology; control concept; message; process; recursive process; state; system description; Aerospace electronics; Communication channels; Computer architecture; Control systems; Costs; Fires; Navigation; Object oriented modeling; Software systems; Testing;
Conference_Titel :
Computer Systems and Software Engineering, 1989. Proceedings., Fourth Israel Conference on
Conference_Location :
Herzlia
Print_ISBN :
0-8186-1972-4
DOI :
10.1109/ICCSSE.1989.72726
