A paper outlining our approach to system execution modelling has been accepted at ICECCS. The paper outlines our approach, including the processes and tools that have developed, and provides a small case study to illustrate its utility. We are excited to have an early paper out that describes our holistic view of system execution modelling, extending existing views with a framework that supports scenario-driven simulation, and visualisation and multi-modeling to explore traceability and real-time requirement validation.
K. Falkner, V. Chiprianov, N. Falkner, C. Szabo, J. Hill, G. Puddy, D. Fraser, A. Johnston, M. Rieckmann and A. Wallis, Model-driven performance prediction of distributed real-time embedded defence systems. Accepted for the 18th International Conference on Engineering of Complex Computer Systems (ICECCS 2013), July 2013.