Holistic schedulability analysis for distributed hard real-time systems
Microprocessing and Microprogramming - Parallel processing in embedded real-time systems
Two simple algorithms for bin covering
Acta Cybernetica
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
Timing Analysis of the FlexRay Communication Protocol
ECRTS '06 Proceedings of the 18th Euromicro Conference on Real-Time Systems
Investigation and Reduction of Fault Sensitivity in the FlexRay Communication Controller Registers
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
FlexRay schedule optimization of the static segment
CODES+ISSS '09 Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis
Designing heterogeneous ECU networks via compact architecture encoding and hybrid timing analysis
Proceedings of the 46th Annual Design Automation Conference
Scheduling the FlexRay bus using optimization techniques
Proceedings of the 46th Annual Design Automation Conference
A DECOMSYS based tool-chain for analyzing FlexRay based automotive control applications
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
Performance analysis of FlexRay-based systems using real-time calculus, revisited
Proceedings of the 2010 ACM Symposium on Applied Computing
Improving platform-based system synthesis by satisfiability modulo theories solving
CODES/ISSS '10 Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Classification of Activated Faults in the FlexRay-Based Networks
Journal of Electronic Testing: Theory and Applications
Reliability-aware frame packing for the static segment of flexray
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
| Hi-index | 0.00 |
It is now widely believed that FlexRay will emerge as the predominant protocol for in-vehicle automotive communication systems. As a result, there has been a lot of recent interest in timing and predictability analysis techniques that are specifically targeted towards FlexRay. In this paper we propose a compositional performance analysis framework for a network of electronic control units (ECUs) that communicate via a FlexRay bus. Given a specification of the tasks running on the different ECUs, the scheduling policy used at each ECU, and a specification of the FlexRay bus (e.g. slot sizes and message priorities), our framework can answer questions related to the maximum end-to-end delay experienced by any message, the amount of buffer required at each communication controller and the utilization of the different ECUs and the bus. In contrast to previous timing analysis techniques which analyze the FlexRay bus in isolation, our framework is fully compositional and allows the modeling of the schedulers at the ECUs and the FlexRay protocol in a seamless manner. As a result, it can be used to analyze large systems and does not involve any computationally expensive step like solving an ILP (which previous approaches require). We illustrate our framework using detailed examples and also present results from a Matlab-based implementation.