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

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

2010-09-17

arxiv.org/abs/1009.3462v1

Computer Science

Software Engineering

Presented and published at DEPEND 2010

Scientific paper

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, Webpi and CCSdp. A simple case study is developed to illustrate the modelling power of these two formalisms. The paper shows how Webpi and CCSdp represent a significant step forward in modelling adaptive and dependable real-time systems.

Affiliated with

Also associated with

No associations

Rating

On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-442616