Browse by author
Lookup NU author(s): Dr Anirban Bhattacharyya, Professor John Fitzgerald
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 runtime. 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
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2008
Pages: 9
Print publication date: 01/09/2008
Source Publication Date: September 2008
Report Number: 1121
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1121.pdf
