Free Online Productivity Tools
i2Speak
i2Symbol
i2OCR
iTex2Img
iWeb2Print
iWeb2Shot
i2Type
iPdf2Split
iPdf2Merge
i2Bopomofo
i2Arabic
i2Style
i2Image
i2PDF
iLatex2Rtf
Sci2ools
CORR
2010
Springer
2010
Springer
On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems
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 wellestablished 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. Keywords-Requirements, dynamic reconfiguration, modelling, analysis, verification
Real-time TrafficRelated Content
| Added | 01 Mar 2011 |
| Updated | 01 Mar 2011 |
| Type | Journal |
| Year | 2010 |
| Where | CORR |
| Authors | Manuel Mazzara, Anirban Bhattacharyya |
Comments (0)
Researcher Info
|
