Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack

March 20, 2017 · The Ethereal · 🏛 MARS

🔮 THE ETHEREAL: The Ethereal
Pure theory — exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Rob van Glabbeek, Peter Höfner arXiv ID 1703.06569 Category cs.LO: Logic in CS Cross-listed cs.NI Citations 4 Venue MARS Last Checked 5 months ago
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.
Community shame:
Not yet rated
📄 View on arXiv 🌐 View on ar5iv 📑 PDF 🎉 Report Code Found
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

📜 Similar Papers

In the same crypt — Logic in CS