Model-based development of Systems-of-Systems with real-time requirements

Many Systems-of-Systems (SoS) are real-time systems and temporal correctness needs to be considered in the development process. Introducing a temporal specification and timing analysis in early design phases of the SoS architecting process avoids change efforts in later design phases where the SoS architecture fails to meet its timing requirements. This paper introduces a model-based development approach for SoS with real-time requirements. We introduce an architecture optimization method based on concise modeling with architecture patterns, timing requirements and extensions to the Unified Profile for DoDAF and MODAF (UPDM). Optimization using Mixed Integer Linear Programming (MILP) is used to satisfy the real-time requirements and optimization results are back annotated to UPDM models.