Verifying Worst Case Delays in Controller Area Network (CROSBI ID 181309)
Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Ivković, Nikola ; Kresic, Dario ; Hielscher, Kai-Steffen ; German, Reinhard
engleski
Verifying Worst Case Delays in Controller Area Network
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.
Controller area network; CAN; real-time system; medium access; model checking; timed automata; worst case delay; latency
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano