A General Framework for Analysing System Properties in Platform-Based Embedded System Designs
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
System architecture evaluation using modular performance analysis: a case study
International Journal on Software Tools for Technology Transfer (STTT)
Performance analysis of FlexRay-based ECU networks
Proceedings of the 44th annual Design Automation Conference
Complex task activation schemes in system level performance analysis
CODES+ISSS '07 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis
Timing analysis of the FlexRay communication protocol
Real-Time Systems
Network calculus: a theory of deterministic queuing systems for the internet
Network calculus: a theory of deterministic queuing systems for the internet
Reliability-aware frame packing for the static segment of flexray
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Proceedings of the tenth ACM international conference on Embedded software
Hi-index | 0.01 |
The FlexRay protocol [4] is likely to be the de facto standard for automotive communication systems. Hence, there is a need to provide hard performance guarantees on properties like worst case response times of messages, their buffer requirements, end-to-end latency (for example, from sensor to actuator), etc., for FlexRay based systems. The paper [11] provides an analysis for finding worst case response times of the messages transmitted on the FlexRay bus, but the analysis is done using ILP formulation and is thus computationally expensive. The paper [5] models the FlexRay in the analytic framework of Real-Time Calculus [12, 3] and is compositional as well as scalable. In this paper, we show that the analysis of [5] may lead to results that are over optimistic; in particular, we show that obtaining the "upper service curves" is not trivial and does not follow the reasoning of the "lower service curves" which the authors obtain. We also provide tighter "lower service curves" than that of [5]. Finally we show that our model allows the messages to be of variable size which is not the case with [5].