A case study of the multi-domain system design capture concept

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