Fragmentation and Reassembly for CAN

Description:formal model for a fragmentation and a reassembly protocol running on top of the standardised CAN bus
Author(s):Rob van Glabbeek, Peter Höfner
Tool(s): AWN
Event:MARS'17
Paper:Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack Protocol

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.

Model(s)

Creative Commons License    This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.