DocumentCode
2300300
Title
The LAVI avionics development methodology
Author
Beiser, Dan
fYear
1989
fDate
5-6 Jun 1989
Firstpage
112
Lastpage
119
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Systems and Software Engineering, 1989. Proceedings., Fourth Israel Conference on
Conference_Location
Herzlia
Print_ISBN
0-8186-1972-4
Type
conf
DOI
10.1109/ICCSSE.1989.72726
Filename
72726
Link To Document