首页    期刊浏览 2025年07月08日 星期二
登录注册

文章基本信息

  • 标题:Formal Development of System of Systems
  • 本地全文:下载
  • 作者:Maryam Kamali ; Mats Neovius ; Luigia Petre
  • 期刊名称:ISRN Software Engineering
  • 电子版ISSN:2090-7680
  • 出版年度:2013
  • 卷号:2013
  • DOI:10.1155/2013/457837
  • 出版社:Hindawi Publishing Corporation
  • 摘要: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.
国家哲学社会科学文献中心版权所有