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 |
| Editor(s) | | |
| Publication type | | Conference Proceedings (inc. Abstract) |
| Conference Name | | Third International Conference on Dependability (DEPEND) |
| Conference Location | | Venice/Mestre, Italy |
| Year of Conference | | 2010 |
| Date | | 18-25 July 2010 |
| Volume | | |
| Pages | | 173-181 |
| ISBN | | 9781424475308 |
| |  |
|
|
|
| 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, namely, Webπ∞ and CCSdp. A simple case study is developed to illustrate the modelling power of these two formalisms. The paper shows how Webπ∞ and CCSdp represent a significant step forward in modelling adaptive and dependable real-time systems. |
|
|
|
| Publisher | | IEEE Computer Society |
| URL | | http://dx.doi.org/10.1109/DEPEND.2010.33 |
| DOI | | 10.1109/DEPEND.2010.33 |
| Notes | | Paper to be presented at DEPEND 2010 Conference, July 2010. |
| Actions | |  |
| Library holdings | | Search Newcastle University Library for this item |
