Browse by author
Lookup NU author(s): Emeritus Professor Cliff JonesORCiD, Professor Brian RandellORCiD, Emeritus Professor Alexander RomanovskyORCiD, Dr Robert Stroud
The purpose of this deliverable is to present the final version of the DSoS Conceptual Mode, which was first presented in deliverable BC1 and revised in deliverable IC1. There are two major advances compared with IC1. First, in Section 3 (Concepts) we have continued to develop the existing concepts, and have introduced and related some important new concepts for the definition and dependability of systems of systems. Secondly, Section 5 (Formalization) has been largely re-written. it assesses the utility of existing formal frameworks for the description of SoSs and the verification of their dependability, and it provides an overview of various formal approaches to verification that thave been investigated and developed within the DSoS Project.
Author(s): Gaudel M, Issarny V, Jones C, Kopetz H, Marsden E, Moffat N, Paulitsch M, Powell D, Randell B, Romanovsky A, Stroud RJ, Taiani F
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2003
Pages: 117
Print publication date: 01/04/2003
Source Publication Date: April 2003
Report Number: 782
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/research/pubs/trs/papers/782.pdf
