• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Formal Development of System of Systems

Maryam Kamali, Mats Neovius, Luigia Petre, Petter Sandvik, Formal Development of System of Systems. ISRN Software Engineering 2013, 1–10, 2013.

http://dx.doi.org/10.1155/2013/457837

Abstract:

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.

BibTeX entry:

@ARTICLE{jKaNePeSa13a,
  title = {Formal Development of System of Systems},
  author = {Kamali, Maryam and Neovius, Mats and Petre, Luigia and Sandvik, Petter},
  journal = {ISRN Software Engineering},
  volume = {2013},
  publisher = {HINDAWI PUBLISHING CORPORATION},
  pages = {1–10},
  year = {2013},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Publication Forum rating of this publication: level 1

Edit publication