The LAVI avionics development methodology

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. >