Toggle Main Menu Toggle Search

Open Access padlockePrints

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

Lookup NU author(s): Dr Anirban Bhattacharyya, 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.

Publication metadata

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

Pages: 67-72

Publisher: ACM


DOI: 10.1145/1479772.1479785

Library holdings: Search Newcastle University Library for this item

ISBN: 9781605582757