Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 1126273

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


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)
Singapore: IEEE - Institute of Electrical and Electronics Engineers, 2018. str. 97-101 doi:10.1109/ICOMIS.2018.8644867 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)


CROSBI ID: 1126273 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

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

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

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the 2018 IEEE 3rd International Conference on Communication and Information Systems (ICCIS) / - Singapore : IEEE - Institute of Electrical and Electronics Engineers, 2018, 97-101

ISBN
978-1-5386-9273-8

Skup
3rd IEEE International Conference on Communication and Information Systems, ICCIS 2018

Mjesto i datum
Singapur, Singapur, 28-30.12.2018

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Automobile ; CAN ; Formal method ; Real-time ; Worst case delay

Sažetak
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.

Izvorni jezik
Engleski

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



POVEZANOST RADA


Ustanove:
Fakultet organizacije i informatike, Varaždin

Profili:

Avatar Url Luka Milić (autor)

Avatar Url Mario Konecki (autor)

Avatar Url Nikola Ivković (autor)

Poveznice na cjeloviti tekst rada:

doi ieeexplore.ieee.org

Citiraj ovu publikaciju:

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)
Singapore: IEEE - Institute of Electrical and Electronics Engineers, 2018. str. 97-101 doi:10.1109/ICOMIS.2018.8644867 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Ivković, N., Milić, L. & Konecki, M. (2018) A Timed Automata Model for Systems with Gateway- Connected Controller Area Networks. U: Proceedings of the 2018 IEEE 3rd International Conference on Communication and Information Systems (ICCIS) doi:10.1109/ICOMIS.2018.8644867.
@article{article, author = {Ivkovi\'{c}, Nikola and Mili\'{c}, Luka and Konecki, Mario}, year = {2018}, pages = {97-101}, DOI = {10.1109/ICOMIS.2018.8644867}, keywords = {Automobile, CAN, Formal method, Real-time, Worst case delay}, doi = {10.1109/ICOMIS.2018.8644867}, isbn = {978-1-5386-9273-8}, title = {A Timed Automata Model for Systems with Gateway- Connected Controller Area Networks}, keyword = {Automobile, CAN, Formal method, Real-time, Worst case delay}, publisher = {IEEE - Institute of Electrical and Electronics Engineers}, publisherplace = {Singapur, Singapur} }
@article{article, author = {Ivkovi\'{c}, Nikola and Mili\'{c}, Luka and Konecki, Mario}, year = {2018}, pages = {97-101}, DOI = {10.1109/ICOMIS.2018.8644867}, keywords = {Automobile, CAN, Formal method, Real-time, Worst case delay}, doi = {10.1109/ICOMIS.2018.8644867}, isbn = {978-1-5386-9273-8}, title = {A Timed Automata Model for Systems with Gateway- Connected Controller Area Networks}, keyword = {Automobile, CAN, Formal method, Real-time, Worst case delay}, publisher = {IEEE - Institute of Electrical and Electronics Engineers}, publisherplace = {Singapur, Singapur} }

Časopis indeksira:


  • Scopus


Citati:





    Contrast
    Increase Font
    Decrease Font
    Dyslexic Font