Formal Development of System of SystemsReport as inadecuate

Formal Development of System of Systems - Download this document for free, or read online. Document in PDF available to download.

ISRN Software EngineeringVolume 2013 2013, Article ID 457837, 10 pages

Research Article

Department of Information Technologies, Åbo Akademi University, Joukahaisenkatu 3-5A, 20520 Turku, Finland

TUCS–Turku Centre for Computer Science, Joukahaisenkatu 3-5A, 20520 Turku, Finland

Received 30 June 2013; Accepted 28 July 2013

Academic Editors: P. Ciancarini and X. He

Copyright © 2013 Maryam Kamali et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.


Characterising for contemporary systems is their dependence on constituent systems to provide information, functionality, and scalability. Moreover, as the tasks that systems perform are ever more intimate and critical in their nature, reliability and correctness are great concerns. On these matters, we outline a methodology for formal integration of systems. We claim this formal approach to assist in managing the complexity and correctness, in preserving reliability and in respecting the independence of the constituent systems. As a proof of concept, we integrate two in-house control systems specified independently in the Event-B language with the Rodin Platform tool. Moreover, we show how to introduce a new functionality that is only possible due to the integration. Hence, we formally construct a system of systems and provide the methods for hierarchical integration of those.

Author: Maryam Kamali, Mats Neovius, Luigia Petre, and Petter Sandvik



Related documents