research

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

Authors
Publication date
15 March 2017
Publisher
'Open Publishing Association'
Doi
    View on arXiv

    Abstract

    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.Comment: In Proceedings MARS 2017, arXiv:1703.0581

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Edinburgh Research Explorer

      redirect
      oaioai:pure.ed.ac.uk:publications...
      Last time updated on 23/11/2023