Date of this Version
Linh T.X. Phan, Reinhard Schneider, Samarjit Chakraborty, and Insup Lee, "Modeling Buffers With Data Refresh Semantics in Automotive Architectures", 10th ACM International Conference on Embedded Software (EMSOFT '10) , 119-128. October 2010. http://dx.doi.org/10.1145/1879021.1879038
Automotive architectures consist of multiple electronic control units (ECUs) which run distributed control applications. Such ECUs are connected to sensors and actuators and communicate via shared buses. Resource arbitration at the ECUs and also in the communication medium, coupled with variabilities in execution requirements of tasks results in jitter in the signal/data streams existing in the system. As a result, buffers are required at the ECUs and bus controllers. However, these buffers often implement different semantics – FIFO queuing, which is the most straightforward buffering scheme, and data refreshing, where stale data is overwritten by freshly sampled data. Traditional timing and schedulability analysis that are used to compute, e.g., end-to-end delays, in such automotive architectures can only model FIFO buffering. As a result, they return pessimistic delay and resource estimates because in reality overwritten data items do not get processed by the system. In this paper we propose an analytical framework for accurately modeling such data refresh semantics. Our model exploits a novel feedback control mechanism and is purely functional in nature. As a result, it is scalable and does not involve any explicit state modeling. Using this model we can estimate various timing and performance metrics for automotive ECU networks consisting of buffers implementing different data handling semantics. We illustrate the utility of this model through three case studies from the automotive electronics domain.
CPS Real-Time, CPS Auto
10th ACM International Conference on Embedded Software (EMSOFT '10)
© ACM 2010. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Proceedings of the 10th ACM International Conference on Embedded Software (EMSOFT '10), http://dx.doi.org/10.1145/1879021.1879038.
Real-time and embedded systems, Design, verification, performance, Modeling, analysis, buffer management
Date Posted: 03 May 2011
This document has been peer reviewed.