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

A Timed Automata Model for Systems with Gateway- Connected Controller Area Networks (CROSBI ID 702914)

Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija

Ivković, Nikola ; Milić, Luka ; Konecki, Mario A Timed Automata Model for Systems with Gateway- Connected Controller Area Networks // Proceedings of the 2018 IEEE 3rd International Conference on Communication and Information Systems (ICCIS). Singapur: IEEE - Institute of Electrical and Electronics Engineers, 2018. str. 97-101 doi: 10.1109/ICOMIS.2018.8644867

Podaci o odgovornosti

Ivković, Nikola ; Milić, Luka ; Konecki, Mario

engleski

A Timed Automata Model for Systems with Gateway- Connected Controller Area Networks

Networked systems where events happen in parallel and interact with each other are hard to analyze and prone to errors. Formal methods can help in these cases to discover errors, unexpected scenarios and verify that some property is satisfied in all possible sequences of events. In this paper a timed automata model is presented and this model together with timed computational tree logic allows formal verification of system properties. Timed automata model for single controller area network (CAN) was published previously, but this paper for a first time presents a model that can handle CAN buses connected by a gateway. For selected system configurations a model checking was performed to prove some qualitative properties of the model and finally the worst case delays for messages with different priorities are determined and formally verified.

Automobile ; CAN ; Formal method ; Real-time ; Worst case delay

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

Podaci o prilogu

97-101.

2018.

nije evidentirano

objavljeno

978-1-5386-9273-8

10.1109/ICOMIS.2018.8644867

Podaci o matičnoj publikaciji

Proceedings of the 2018 IEEE 3rd International Conference on Communication and Information Systems (ICCIS)

Singapur: IEEE - Institute of Electrical and Electronics Engineers

Podaci o skupu

3rd International Conference on Communication and Information Systems (ICCIS 2018)

predavanje

28.12.2018-30.12.2018

Singapur, Singapur

Povezanost rada

Informacijske i komunikacijske znanosti, Računarstvo

Poveznice
Indeksiranost