Naslov
Verifying Worst Case Delays in Controller Area Network

Autori
Ivković, Nikola ; Kresic, Dario ; Hielscher, Kai-Steffen ; German, Reinhard

Izvornik
Lecture Notes in Computer Science (0302-9743) 7201 (2012); 91-105

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni

Ključne riječi
Controller area network; CAN; real-time system; medium access; model checking; timed automata; worst case delay; latency

Sažetak
Controller Area Network (CAN) protocol was developed to fulfill high availability and timing demands in modern cars, but today it is also used in many other mission critical applications with hard real-time requirements. We present a compact model of the CAN bus specified by a timed automaton and prove its applicability for estimating worst case delays which are crucial for hard real-time systems. Using our model we detected flaws in previous approaches to determine the worst case delays in CAN systems.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika, Računarstvo, Informacijske i komunikacijske znanosti

POVEZANOST RADA