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

      • Date: November 2008
      • Conference Name: SERENE '08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
      • Pages: 67-72
      • Publisher: ACM
      • Publication type: Conference Proceedings (inc. abstract)
      • 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