Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack

Rob van Glabbeek
(Data61, CSIRO)
Peter Höfner
(Data61, CSIRO)

We present a formal model for a fragmentation and a reassembly protocol running on top of the standardised CAN bus, which is widely used in automotive and aerospace applications. Although the CAN bus comes with an in-built mechanism for prioritisation, we argue that this is not sufficient and provide another protocol to overcome this shortcoming.

In Holger Hermanns and Peter Höfner: Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems (MARS 2017), Uppsala, Sweden, 29th April 2017, Electronic Proceedings in Theoretical Computer Science 244, pp. 14–52.
Published: 15th March 2017.

ArXived at: http://dx.doi.org/10.4204/EPTCS.244.2 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org