Verifying worst case delays in controller area network

Authors:
Nikola Ivkovic;Dario Kresic;Kai-Steffen Hielscher;Reinhard German
Affiliations:
Department of Information Technologies and Computing, Faculty of Organization and Informatics, University of Zagreb, Varaždin, Croatia;Department of Information Technologies and Computing, Faculty of Organization and Informatics, University of Zagreb, Varaždin, Croatia;Department of Computer Networks and Communication Systems, University of Erlangen-Nuremberg, Erlangen, Germany;Department of Computer Networks and Communication Systems, University of Erlangen-Nuremberg, Erlangen, Germany
Venue:
MMB'12/DFT'12 Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Year:
2012

Citing 4
Cited 0

A theory of timed automata

Theoretical Computer Science
Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised

Real-Time Systems
Real-time Controller Area Networks (CAN) -- managing transient surges

Integrated Computer-Aided Engineering
Period optimization for hard real-time distributed automotive systems

Proceedings of the 44th annual Design Automation Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

Controller Area Network (CAN) protocol was developed to fulfill high availability and timing demands in modern cars, but today it is also used in many other mission critical applications with hard real-time requirements. We present a compact model of the CAN bus specified by a timed automaton and prove its applicability for estimating worst case delays which are crucial for hard real-time systems. Using our model we detected flaws in previous approaches to determine the worst case delays in CAN systems.