TY - JOUR ID - deploy218 UR - http://deploy-eprints.ecs.soton.ac.uk/218/ A1 - Mazzara, Manuel A1 - Bhattacharyya, Anirban TI - On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems N2 - 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. AV - public JF - Proceedings of DEPEND 2010 ER -