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 Bhattacharayya, Professor John Fitzgerald

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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.


Publication metadata

Author(s): Bhattacharyya A, Fitzgerald JS

Editor(s): Guelfi, N; Muccini, H; Patrizio; Romanovsky, A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: SERENE '08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems

Year of Conference: 2008

Number of Volumes: 1

Pages: 67-72

Publisher: ACM

URL: http://doi.acm.org/10.1145/1479772.1479785

DOI: 10.1145/1479772.1479785

Library holdings: Search Newcastle University Library for this item

ISBN: 9781605582757


Actions

Link to this publication


Share