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.
Keywords
- Controller area network
- CAN
- real-time system
- medium access
- model checking
- timed automata
- worst case delay
- latency
Supported by German Research Council as a part of the project "Verification of Real-Time Warranties in CAN”.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
von der Wense, H.-C.: LIN Specification Package. LIN Consortium (2003)
MOST Cooperation: MOST Media Oriented Systems Transport. Rev 2.4 (2005)
FlexRay Consortium: FlexRay Communications System Protocol Specification. Ver. 2.1 (2005)
ISO 11898-1:2003: Road vehicles – Controller area network (CAN) – Part 1: Data link layer and physical signalling. International Organization for Standardization (2003)
Tindell, K., Burns, A.: Guaranteed Message Latencies for Distributed Safety Critical Hard Real-Time Networks. Technical Report YCS 229, Dept. Computer Science, University of York (1994)
Davis, R.I., Burns, A., Bril, R.J., Lukkien, J.J.: Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised. Real-Time Systems 35, 239–272 (2007)
Davare, A., DiNatale, M., Zhu, Q.: Period Optimization for Hard Real-time Distributed Automotive Systems. In: Proceedings of the 44th IEEE/ACM Design Automaton Conference (2007)
Krakora, J., Hanzalek, Z.: Verifying Real-Time Properties of CAN bus by Timed Automata. In: World Automotive Congress, FISITA 2004, Barcelona (2004)
Hamann, A., Racu, R., Ernst, R.: Formal Methods for Automotive Platform Analysis and Optimization. In: Proc. Future Trends in Automotive Electronics and Tool Integration Workshop (DATE Conference), Munich (2006)
Richardson, P., Sieh, L., Elkateeb, A., Haniak, P.: Real-time Controller Area Networks (CAN) managing transient surges. Integr. Comput.-Aided Eng. 9 (2002)
Klehmet, U., Herpel, T., Hielscher, K.-S.J., German, R.: Delay Bounds for CAN Communication in Automotive Applications. In: Bause, F., Buchholz, P. (eds.) Proceedings 14th GI/ITG Conference on Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB 2008), Dortmund, Germany, March 31-April 2, pp. 157–172. VDE Verlag (2008)
Lawrenz, W.: CAN Controller Area Network, 4th edn. Hüthig Verlag (2000)
Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)
UPPAAL, http://www.uppaal.org/
Kresic, D., Hielscher, K.-S., German, R.: Specification and Implementation of CAN Arbitration in UPPAAL. Technical Report ISSN 2191-5008, Technische Fakultät, University of Erlangen-Nuremberg (2010)
Tindell, K.W., Burns, A.: Guaranteeing message latencies on Controller Area Network (CAN). In: Proceedings of 1st International CAN Conference, pp. 1–11 (1994)
Tindell, K.W., Burns, A., Wellings, A.J.: Calculating Controller Area Network (CAN) message response times. Control Engineering Practice 3(8), 1163–1169 (1995)
Tindell, K.W., Hansson, H., Wellings, A.J.: Analysing real-time communications: Controller Area Network (CAN). In: Proceedings 15th Real-Time Systems Symposium (RTSS 1994), pp. 259–263. IEEE Computer Society Press (1994)
Bril, R.J., Lukkien, J.J., Davis, R.I., Burns, A.: Message response time analysis for ideal controller area network (CAN) refuted. CS-Report 06-19, Technische Universiteit Eindhoven (TU/e) The Netherlands (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ivkovic, N., Kresic, D., Hielscher, KS., German, R. (2012). Verifying Worst Case Delays in Controller Area Network. In: Schmitt, J.B. (eds) Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance. MMB&DFT 2012. Lecture Notes in Computer Science, vol 7201. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28540-0_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-28540-0_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28539-4
Online ISBN: 978-3-642-28540-0
eBook Packages: Computer ScienceComputer Science (R0)
