Skip to main content

Verifying Worst Case Delays in Controller Area Network

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNPSE,volume 7201)

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

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. von der Wense, H.-C.: LIN Specification Package. LIN Consortium (2003)

    Google Scholar 

  2. MOST Cooperation: MOST Media Oriented Systems Transport. Rev 2.4 (2005)

    Google Scholar 

  3. FlexRay Consortium: FlexRay Communications System Protocol Specification. Ver. 2.1 (2005)

    Google Scholar 

  4. ISO 11898-1:2003: Road vehicles – Controller area network (CAN) – Part 1: Data link layer and physical signalling. International Organization for Standardization (2003)

    Google Scholar 

  5. 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)

    Google Scholar 

  6. 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)

    CrossRef  Google Scholar 

  7. 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)

    Google Scholar 

  8. Krakora, J., Hanzalek, Z.: Verifying Real-Time Properties of CAN bus by Timed Automata. In: World Automotive Congress, FISITA 2004, Barcelona (2004)

    Google Scholar 

  9. 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)

    Google Scholar 

  10. Richardson, P., Sieh, L., Elkateeb, A., Haniak, P.: Real-time Controller Area Networks (CAN) managing transient surges. Integr. Comput.-Aided Eng. 9 (2002)

    Google Scholar 

  11. 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)

    Google Scholar 

  12. Lawrenz, W.: CAN Controller Area Network, 4th edn. Hüthig Verlag (2000)

    Google Scholar 

  13. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)

    CrossRef  MathSciNet  MATH  Google Scholar 

  14. UPPAAL, http://www.uppaal.org/

  15. 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)

    Google Scholar 

  16. Tindell, K.W., Burns, A.: Guaranteeing message latencies on Controller Area Network (CAN). In: Proceedings of 1st International CAN Conference, pp. 1–11 (1994)

    Google Scholar 

  17. Tindell, K.W., Burns, A., Wellings, A.J.: Calculating Controller Area Network (CAN) message response times. Control Engineering Practice 3(8), 1163–1169 (1995)

    CrossRef  Google Scholar 

  18. 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)

    Google Scholar 

  19. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)