Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack
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 provid...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2017-03-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1703.06569v1 |
| _version_ | 1819043114844684288 |
|---|---|
| author | Rob van Glabbeek Peter Höfner |
| author_facet | Rob van Glabbeek Peter Höfner |
| author_sort | Rob van Glabbeek |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-21T09:51:39Z |
| format | Article |
| id | doaj.art-b6ae90a72a0842a7ba109a522b6b88dc |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-12-21T09:51:39Z |
| publishDate | 2017-03-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-b6ae90a72a0842a7ba109a522b6b88dc2022-12-21T19:08:10ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802017-03-01244Proc. MARS 2017145210.4204/EPTCS.244.2:1Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol StackRob van Glabbeek0Peter Höfner1 Data61, CSIRO Data61, CSIRO 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.http://arxiv.org/pdf/1703.06569v1 |
| spellingShingle | Rob van Glabbeek Peter Höfner Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack Electronic Proceedings in Theoretical Computer Science |
| title | Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack |
| title_full | Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack |
| title_fullStr | Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack |
| title_full_unstemmed | Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack |
| title_short | Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack |
| title_sort | split send reassemble a formal specification of a can bus protocol stack |
| url | http://arxiv.org/pdf/1703.06569v1 |
| work_keys_str_mv | AT robvanglabbeek splitsendreassembleaformalspecificationofacanbusprotocolstack AT peterhofner splitsendreassembleaformalspecificationofacanbusprotocolstack |