Abstract / Description of output
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.
Original language | English |
---|---|
Title of host publication | Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems Uppsala, Sweden, 29th April 2017 |
Editors | H. Hermanns, P. Höfner |
Publisher | Open Publishing Association |
Pages | 14-52 |
Number of pages | 39 |
Volume | 244 |
DOIs | |
Publication status | Published - 15 Mar 2017 |
Event | 2nd Workshop on Models for Formal Analysis of Real Systems - Uppsala, Sweden Duration: 29 Apr 2017 → … Conference number: 2 http://mars-workshop.org/mars2017/index.html#dates |
Publication series
Name | Electronic Proceedings in Theoretical Computer Science |
---|---|
Publisher | Open Publishing Association |
ISSN (Electronic) | 2075-2180 |
Workshop
Workshop | 2nd Workshop on Models for Formal Analysis of Real Systems |
---|---|
Abbreviated title | MARS 2017 |
Country/Territory | Sweden |
City | Uppsala |
Period | 29/04/17 → … |
Internet address |