Please use this identifier to cite or link to this item:
|Title:||Schedulability analysis of MSC-based system models|
|Authors:||Ju, L. |
|Source:||Ju, L.,Roychoudhury, A.,Chakraborty, S. (2008). Schedulability analysis of MSC-based system models. Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS : 215-224. ScholarBank@NUS Repository. https://doi.org/10.1109/RTAS.2008.9|
|Abstract:||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 for distributed real-time systems, our proposed analysis gives tighter results, which immediately translate to better system design and improved resource dimensioning. We illustrate the details of our analysis using a setup from the automotive electronics domain, which consist of two real-life application programs (that are naturally modeled using MSCs) running on a platform consisting of multiple electronic control units (ECUs) connected via a FlexRay bus. © 2008 IEEE.|
|Source Title:||Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Dec 13, 2017
checked on Dec 9, 2017
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.