Title :
A case study of the multi-domain system design capture concept
Author :
Hoang, Ngocdung T. ; Karangelen, Nicholas E.
Author_Institution :
Dahlgren Div., Naval Surface Warfare Center, Silver Spring, MD, USA
Abstract :
The principal objective of the system development process is to establish a design which satisfies the system requirements and constraints while optimizing the key trade-offs and issues associated with system functionality, behavior, and implementation. The paper describes a formalism for the design of large, complex, and real-time systems that can be captured and analyzed to better meet the systems requirements. An example, the air traffic control system, is used to show the proof of concept of the method
Keywords :
air traffic computer control; formal specification; real-time systems; air traffic control system; multi-domain system design capture concept; real-time systems; system functionality; system requirements; Computer aided software engineering; Design engineering; Design optimization; Hardware; Humans; Real time systems; Software performance; Software testing; System analysis and design; Systems engineering and theory;
Conference_Titel :
Real-Time Applications, 1993., Proceedings of the IEEE Workshop on
Conference_Location :
New York, NY
Print_ISBN :
0-8186-4130-4
DOI :
10.1109/RTA.1993.263093
