Quantifying Notions of Extensibility in FlexRay Schedule Synthesis
ACM Transactions on Design Automation of Electronic Systems, Aug. 2014, Volume 19, Issue 4.
FlexRay has now become a well-established in-vehicle communication bus at most original equipment manufacturers (OEMs) such as BMW, Audi, and GM. Given the increasing cost of verification, and the high degree of crosslinking between components in automotive architectures, an incremental design process is commonly followed. In order to incorporate FlexRay-based designs in such a process, the resulting schedules must be extensible, i.e, (i) when messages are added in later iterations, they must preserve deadline guarantees of already scheduled messages, and (ii), they must accommodate as many new messages as possible without changes to existing schedules. Apart from extensible scheduling having not received much attention so far, traditional metrics used for quantifying them can not be trivially adapted to FlexRay schedules. This is because they do not exploit specific properties of the FlexRay protocol. In this paper we, for the first time, introduce new notions of extensibility for FlexRay that capture all the protocol-specific properties. In particular, we focus on the dynamic segment of FlexRay, and we present a number of metrics to quantify extensible schedules. Based on the introduced metrics, we propose strategies to synthesize extensible schedules and compare the results of different scheduling algorithms. We demonstrate the applicability of the results with industrial-size case studies and also show that the proposed metrics may also be visually represented, thereby allowing for easy interpretation.
Copyright note for papers published by ACM:
Permission to make digital or hard copies of this work for personal or
classroom use is granted without fee provided that copies bear this
notice and the full citation on the first page. Copyrights for
components of this work owned by others than ACM must be
honored. Abstracting with credit is permitted. To copy otherwise, to
republish, to post on servers or to distribute to lists, requires
prior specific permission and/or a fee.
[SGCB14] Reinhard Schneider, Dip Goswami, Samarjit Chakraborty, Unmesh Bordoloi, Petru Eles, Zebo Peng, "Quantifying Notions of Extensibility in FlexRay Schedule Synthesis", ACM Transactions on Design Automation of Electronic Systems, Aug. 2014, Volume 19, Issue 4.