Rob van Glabbeek (Data61, CSIRO) |
Peter Höfner (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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.244.2 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |