Toggle Main Menu Toggle Search

Open Access padlockePrints

Model-based development of fault tolerant systems of systems

Lookup NU author(s): Dr Zoe Andrews, Dr Richard Payne, Andre Ribeiro Didier

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

This paper puts forward a new method for model-based development of fault tolerant systems of systems. The method covers early architectural design, formal modelling and verification. The focus is on supporting modelling techniques that ensure systematic and structured reasoning about faults, error detection and fault and error recovery. The method combines semi-formal modelling in SysML with formal modelling and verification conducted in CSP. The work is part of the EC COMPASS Integrated Project on Comprehensive Modelling for Advanced Systems of Systems.


Publication metadata

Author(s): Andrews Z, Payne R, Romanovsky A, Didier A, Mota A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 2013 IEEE International Systems Conference (SysCon 2013)

Year of Conference: 2013

Pages: 356-363

Publisher: IEEE

URL: http://dx.doi.org/10.1109/SysCon.2013.6549906

DOI: 10.1109/SysCon.2013.6549906

Library holdings: Search Newcastle University Library for this item

ISBN: 9781467331074


Share