Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary

  1. Lookup NU author(s)
  2. Dr Anirban Bhattacharyya
  3. Professor John Fitzgerald
Author(s)Bhattacharyya A, Fitzgerald JS
Editor(s)Guelfi, N; Muccini, H; Patrizio; Romanovsky, A
Publication type Conference Proceedings (inc. Abstract)
Conference NameSERENE '08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Conference LocationNewcastle upon Tyne, UK
Year of Conference2008
DateNovember 2008
Volume
Number of Volumes1
Pages67-72
ISBN9781605582757
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
This paper presents the first step towards a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. The first version of our formalism (CCSdp) is focused on dynamic process reconfiguration. That is, process creation, deletion and replacement at run-time. We illustrate the process through which CCSdp is being developed using a series of trials in modelling a highly simplified sensor array, in order to determine the simplest construct necessary for modelling process reconfiguration. We define the syntax and operational semantics of CCSdp, and identify a bisimulation for further investigation.
PublisherACM
URLhttp://doi.acm.org/10.1145/1479772.1479785
DOI10.1145/1479772.1479785
ActionsLink to this publication
Library holdingsSearch Newcastle University Library for this item