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
Year2010
DateMarch 2010
Report Number1192
Pages11
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
URLhttp://www.cs.ncl.ac.uk/publications/trs/papers/1192.pdf
ActionsLink to this publication