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 |
| Event(s): | MARS'17 |
| Paper(s): |
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)
-
- Download Model
- Browse Model
- tool(s): AWN
Note: Model updated 02/04/2020 (minor syntactical modifications).
The original submission can be found here.
This work is licensed under a Creative Commons
Attribution-NonCommercial-ShareAlike 4.0 International License.