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



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.

Publication metadata

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