Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary
- Lookup NU author(s)
- Ani Bhattacharyya
- Professor John Fitzgerald
|
|
|
|
| Author(s) | | Bhattacharyya A, Fitzgerald JS |
| Editor(s) | | Guelfi, N; Muccini, H; Patrizio; Romanovsky, A |
| Publication type | | Conference Proceedings (inc. Abstract) |
| Conference Name | | SERENE '08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems |
| Conference Location | | Newcastle upon Tyne, UK |
| Year of Conference | | 2008 |
| Date | | November 2008 |
| Volume | | |
| Number of Volumes | | 1 |
| Pages | | 67-72 |
| ISBN | | 9781605582757 |
| |  |
|
|
|
| Full text for this publication is not currently held within this repository. Alternative links are provided below where available. |
|
|
|
|
| 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. |
|
|
|
| Publisher | | ACM |
| URL | | http://doi.acm.org/10.1145/1479772.1479785 |
| DOI | | 10.1145/1479772.1479785 |
| Actions | |  |
| Library holdings | | Search Newcastle University Library for this item |
