Lookup NU author(s): Dr Anirban Bhattacharayya,
Professor John Fitzgerald
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.
Author(s): Bhattacharyya A, Fitzgerald JS
Editor(s): Guelfi, N; Muccini, H; Patrizio; Romanovsky, A
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: SERENE '08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Year of Conference: 2008
Number of Volumes: 1
Library holdings: Search Newcastle University Library for this item