Loughborough University
Leicestershire, UK
LE11 3TU
+44 (0)1509 263171
Loughborough University

Loughborough University Institutional Repository

Please use this identifier to cite or link to this item: https://dspace.lboro.ac.uk/2134/22383

Title: Formal methods for a system of systems analysis framework applied to traffic management
Authors: Dickerson, Charles E.
Ji, Siyuan
Roslan, Rosmira
Issue Date: 2016
Publisher: © IEEE
Citation: 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.
Abstract: 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.
Description: © 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.
Sponsor: 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.
Version: Accepted for publication
DOI: 10.1109/SYSOSE.2016.7542918
URI: https://dspace.lboro.ac.uk/2134/22383
Publisher Link: http://dx.doi.org/10.1109/SYSOSE.2016.7542918
Appears in Collections:Conference Papers and Presentations (Mechanical, Electrical and Manufacturing Engineering)

Files associated with this item:

File Description SizeFormat
Formal Methods for a System of Systems Analysis Framework Applied to Traffic Management.pdfAccepted version384.85 kBAdobe PDFView/Open


SFX Query

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.