Sciweavers

Share
RTAS
2008
IEEE

Schedulability Analysis of MSC-based System Models

10 years 6 months ago
Schedulability Analysis of MSC-based System Models
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimation and schedulability analysis of MSC-based specifications form natural building blocks for designing distributed real-time systems. However, currently there exists a large gap between the timing and quantitative performance analysis techniques that exist in the real-time systems literature, and the modeling/specification techniques that are advocated by the formal methods community. As a result, although a number of schedulability analysis techniques are known for a variety of task graph-based models, it is not clear if they can be used to effectively analyze standard specification formalisms such as MSCs. In this paper we make an attempt to bridge this gap by proposing a schedulability analysis technique for MSC-based system specifications. We show that compared to existing timing analysis techniques fo...
Lei Ju, Abhik Roychoudhury, Samarjit Chakraborty
Added 01 Jun 2010
Updated 01 Jun 2010
Type Conference
Year 2008
Where RTAS
Authors Lei Ju, Abhik Roychoudhury, Samarjit Chakraborty
Comments (0)
books