Departmental Papers (CIS)

Date of this Version


Document Type

Conference Paper


10th International Conference on Embedded Software (EMSOFT), Scottsdale, Arizona, Oct 2010. (Best Paper Candidate).


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.

Subject Area

CPS Real-Time, CPS Auto

Publication Source

10th ACM International Conference on Embedded Software (EMSOFT '10)

Start Page


Last Page




Copyright/Permission Statement

© 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),


Real-time and embedded systems, Design, verification, performance, Modeling, analysis, buffer management



Date Posted: 03 May 2011

This document has been peer reviewed.