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

  1. Lookup NU author(s)
  2. Dr Manuel Mazzara
  3. Dr Anirban Bhattacharyya
Author(s)Mazzara M, Bhattacharyya A
Publication type Report
Series TitleSchool of Computing Science Technical Report Series
Source Publication DateMarch 2010
Report Number1192
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.
InstitutionSchool of Computing Science, University of Newcastle upon Tyne
Place PublishedNewcastle upon Tyne
ActionsLink to this publication