Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

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

Lookup NU author(s): Dr Manuel Mazzara, Dr Anirban Bhattacharyya

Downloads

Licence

This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by IEEE Computer Society, 2010.

For re-use rights please refer to the publisher's terms and conditions.

Abstract

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.

Publication metadata

Author(s): Mazzara M, Bhattacharyya A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Third International Conference on Dependability (DEPEND)

Year of Conference: 2010

Pages: 173-181

Date deposited: 23/09/2010

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.

Library holdings: Search Newcastle University Library for this item

ISBN: 9781424475308

Share