Paper Info
Title
Split, Send, Reassemble: A Formal Specification Of A Can Bus Protocol Stack
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.
Year
DOI
Venue
2017
10.4204/EPTCS.244.2
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
DocType
Issue
ISSN
Journal
244
2075-2180
Citations 
PageRank 
References 
0
0.34
0
Authors
2
Name
Order
Citations
PageRank
Rob J. van Glabbeek11930134.34
Peter Höfner239127.80