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
Legacy DateNovember 2008
Number of Volumes1
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.
ActionsLink to this publication
Library holdingsSearch Newcastle University Library for this item