The Community for Technology Leaders
RSS Icon
Subscribe
Philadelphia, PA, USA USA
Apr. 9, 2013 to Apr. 11, 2013
ISBN: 978-1-4799-0186-9
pp: 227-236
Chung-Wei Lin , U. of California, Berkeley
Marco Di Natale , Scuola Superiore Sant'Anna
Haibo Zeng , McGill University
Linli Thi Xuan Phan , U. of Pennsylvania
Alberto Sangiovanni-Vincentelli , U. of California, Berkeley
ABSTRACT
Real-Time Calculus (RTC) is a modular performance analysis framework for real-time embedded systems. It can be used to compute the worst-case and best-case response times of tasks with general activation patterns and configurations, such as pipelines of tasks that are connected via finite buffers. In this paper, we extend the existing RTC framework to analyze arbitrary graph configurations of tasks and messages, with mixed periodic and event-based activation models and finite buffers between any pair of nodes. Our extension also improves upon several sources of pessimism in the existing analysis. We present an application of the extended RTC to the Loosely Time-Triggered Architecture (LTTA) implementation of synchronous models, commonly used in the development of embedded automotive, avionics and control systems. We show how our method can be used to model scheduling and communication delays in an LTTA mapping, which gives tighter analysis bounds on the output rate and the latency compared to existing techniques. The evaluation on automotive workloads shows that our approach is scalable and outperforms existing techniques in terms of analysis accuracy.
CITATION
Chung-Wei Lin, Marco Di Natale, Haibo Zeng, Linli Thi Xuan Phan, Alberto Sangiovanni-Vincentelli, "Timing analysis of process graphs with finite communication buffers", RTAS, 2013, 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS) 2013, pp. 227-236, doi:10.1109/RTAS.2013.6531095
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool