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 |
| Publication type | | Report |
| Series Title | | School of Computing Science Technical Report Series |
| Year | | 2008 |
| Date | | September 2008 |
| Report Number | | 1121 |
| Pages | | 9 |
|
|
|
| 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. |
|
|
|
| Institution | | School of Computing Science, University of Newcastle upon Tyne |
| Place Published | | Newcastle upon Tyne |
| URL | | http://www.cs.ncl.ac.uk/publications/trs/papers/1121.pdf |
| Actions | |  |
