Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

Verifying Worst Case Delays in Controller Area Network (CROSBI ID 181309)

Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija

Ivković, Nikola ; Kresic, Dario ; Hielscher, Kai-Steffen ; German, Reinhard Verifying Worst Case Delays in Controller Area Network // Lecture notes in computer science, 7201 (2012), 91-105

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

Podaci o izdanju

7201

2012.

91-105

objavljeno

0302-9743

Povezanost rada

Elektrotehnika, Računarstvo, Informacijske i komunikacijske znanosti

Indeksiranost