Development of a Formalism for Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems: A Technical Diary (2008)

Author(s): Bhattacharyya A, Fitzgerald JS

    Abstract: 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.

      • Date: September 2008
      • Series Title: School of Computing Science Technical Report Series
      • Pages: 9
      • Institution: School of Computing Science, University of Newcastle upon Tyne
      • Publication type: Report
      • Bibliographic status: Published

      Keywords: Dynamic reconfiguration, process algebra

      Staff

      Professor John Fitzgerald
      Director of Research in Computing Science, Director of the Centre for Software Reliability