Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack
classification
💻 cs.LO
cs.NI
keywords
protocolformalaerospacealthoughanotherapplicationsargueautomotive
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.