Autor: |
Rob van Glabbeek, Peter Höfner |
Jazyk: |
angličtina |
Rok vydání: |
2017 |
Předmět: |
|
Zdroj: |
Electronic Proceedings in Theoretical Computer Science, Vol 244, Iss Proc. MARS 2017, Pp 14-52 (2017) |
Druh dokumentu: |
article |
ISSN: |
2075-2180 |
DOI: |
10.4204/EPTCS.244.2 |
Popis: |
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. |
Databáze: |
Directory of Open Access Journals |
Externí odkaz: |
|