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
Publication type Report
Series TitleSchool of Computing Science Technical Report Series
Legacy DateSeptember 2008
Report Number1121
Full text is available for this publication:
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.
InstitutionSchool of Computing Science, University of Newcastle upon Tyne
Place PublishedNewcastle upon Tyne
ActionsLink to this publication