Sciweavers

Share
CORR
2010
Springer

On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems

8 years 9 months ago
On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems
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 wellestablished 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. Keywords-Requirements, dynamic reconfiguration, modelling, analysis, verification
Manuel Mazzara, Anirban Bhattacharyya
Added 01 Mar 2011
Updated 01 Mar 2011
Type Journal
Year 2010
Where CORR
Authors Manuel Mazzara, Anirban Bhattacharyya
Comments (0)
books