On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems
- Lookup NU author(s)
- Dr Manuel Mazzara
- Ani Bhattacharyya
|
|
|
|
| Author(s) | | Mazzara M, Bhattacharyya A |
| Publication type | | Report |
| Series Title | | School of Computing Science Technical Report Series |
| Year | | 2010 |
| Date | | March 2010 |
| Report Number | | 1192 |
| Pages | | 11 |
|
|
|
| Full text is available for this publication: |
|
|
|
|
| This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism must meet, and use these to evaluate well-established formalisms and two process algebras that we have been developing. |
|
|
|
| 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/1192.pdf |
| Actions | |  |
