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

R.J. van Glabbeek, P. Höfner

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationProceedings 2nd Workshop on Models for Formal Analysis of Real Systems Uppsala, Sweden, 29th April 2017
EditorsH. Hermanns, P. Höfner
PublisherOpen Publishing Association
Pages14-52
Number of pages39
Volume244
DOIs
Publication statusPublished - 15 Mar 2017
Event2nd Workshop on Models for Formal Analysis of Real Systems - Uppsala, Sweden
Duration: 29 Apr 2017 → …
Conference number: 2
http://mars-workshop.org/mars2017/index.html#dates

Publication series

NameElectronic Proceedings in Theoretical Computer Science
PublisherOpen Publishing Association
ISSN (Electronic)2075-2180

Workshop

Workshop2nd Workshop on Models for Formal Analysis of Real Systems
Abbreviated titleMARS 2017
Country/TerritorySweden
CityUppsala
Period29/04/17 → …
Internet address

Fingerprint

Dive into the research topics of 'Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack'. Together they form a unique fingerprint.

Cite this