Final Version of DSoS Conceptual Model (CSDA1)

  1. Lookup NU author(s)
  2. Professor Cliff Jones
  3. Professor Brian Randell
  4. Professor Alexander Romanovsky
  5. Dr Robert Stroud
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
Series TitleSchool of Computing Science Technical Report Series
Year2003
DateApril 2003
Report Number782
Pages117
Full text is available for this publication:
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.
InstitutionSchool of Computing Science, University of Newcastle upon Tyne
Place PublishedNewcastle upon Tyne
URLhttp://www.cs.ncl.ac.uk/research/pubs/trs/papers/782.pdf
ActionsLink to this publication