Loughborough University
Formal Methods for a System of Systems Analysis Framework Applied to Traffic Management.pdf (384.85 kB)

Formal methods for a system of systems analysis framework applied to traffic management

Download (384.85 kB)
conference contribution
posted on 2016-09-08, 12:49 authored by Charles DickersonCharles Dickerson, Siyuan JiSiyuan Ji, Rosmira Roslan
Formal methods for systems and system of systems engineering (SoSE) can bring precision to architecting and design, and increased trustworthiness in verification; but they require the use of formal languages that are not broadly comprehensible to the various stakeholders. The evolution of Model Based Systems Engineering (MBSE) using the Systems Modeling Language (SysML) lies in a middle ground between legacy document-based SoSE and formal methods. SysML is a graphical language but not a formal language. Initiatives in the Object Management Group (OMG), such as the development of the Foundational Unified Modeling Language (fUML) seek to bring precise semantics to object-oriented modeling languages. Following the philosophy of fUML, we offer a framework for associating precise semantics with Unified Modeling Language (UML) and SysML models essential for SoSE architecting and design. Straightforward methods are prescribed to develop the essential models and to create semantic transformations between them. Matrix representations can be used to perform analyses that are concordant with the system of UML or SysML models that represent the system or SoS. The framework and methods developed in this paper are applied to a Traffic Management system of systems (TMSoS) that has been a subject of research presented at previous IEEE SoSE conferences.


This work was partially sponsored by the Programme for Simulation Innovation (PSi). A partnership between Jaguar Land Rover and UK EPSRC grant EP/K014226/1.



  • Mechanical, Electrical and Manufacturing Engineering

Published in

IEEE 11th International Conference on System of Systems Engineering


DICKERSON, C.E., JI, S. and ROSLAN, R., 2016. Formal methods for a system of systems analysis framework applied to traffic management. IN: Proceedings of the IEEE 11th International Conference on System of Systems Engineering, Kongsberg, Norway, 12-16 June 2016.




  • AM (Accepted Manuscript)

Publisher statement

This work is made available according to the conditions of the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) licence. Full details of this licence are available at: https://creativecommons.org/licenses/by-nc-nd/4.0/

Acceptance date


Publication date



© IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.


  • en


Kongsberg, Norway

Usage metrics

    Loughborough Publications


    Ref. manager