Naslov
Analiza i sinteza ugrađenih sabirničkih komunikacijskih sustava pomoću obojenih Petrijevih mreža
(Analysis and synthesis of embedded bus communication systems using coloured Petri nets)

Autori
Bago, Marko

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, doktorska disertacija

Fakultet
Fakultet elektrotehnike i računarstva

Mjesto
Zagreb

Datum
09.07

Godina
2009

Stranica
144

Mentor
Perić, Nedjeljko

Ključne riječi
Petrijeve mreže; Komunikacija za tračnička vozila; Modeliranje; Simulacija; Verifikacija; Validacija; Industrijske komunikacije; Ugrađeni sustavi
(Petri nets; Rail transportation communication; Modeling; Simulation; Verification; Validation; Industrial communication; Embedded systems)

Sažetak
Inženjeri obično razvijaju nove sustave koristeći ranije stečena znanja kao i već dostupne razvojne alate. Jedan od načina ubrzavanja razvoja, a koji uz to omogućava i stjecanje novih znanja, je korištenje računalnih simulacija za razvoj željenih sustava. U ovom radu sustavno je obrađena problematika modeliranja ugrađenih sabirničkih komunikacijskih sustava pomoću hijerarhijskih vremenskih obojenih Petrijevih mreža. Modelirana su tri različita komunikacijska protokola: Wire Train Bus, Controller Area Network i Time-Triggered Controller Area Network. Svaki model komunikacijskog protokola je verifi ciran i validiran. Kako se kod složenih modela neizbježno pojavljuje problem verifi kacije takvih sustava, razvijena je metoda modularne analize. Na jednostavnijim sustavima su rezultati dobiveni modularnom analizom uspoređeni s rezultatima dobivenim verifi kacijom cijelog sustava i utvrđeno je da se poklapaju za sva tri modelirana komunikacijska protokola. Korištenjem vremena u simulacijskim modelima omogućava se analiza ponašanja simulacijskog modela, tj. omogućava se analiza radnih svojstava sustava. Time se omogućava brže projektiranje novih sustava. Obzirom da protek vremena dovodi do beskonačnog broj stanja u kojem se sustav može naći razvijena je metoda vremenske redukcije koja omogućava analizu svih svojstava i vremenskih odnosa u sustavu. Modeli WTB i CAN komunikacijskih protokola iskorišteni su za razvoj novih i analizu postojećih komunikacijskih sustava. CAN komunikacijski protokol iskorišten je za analizu CAN sabirnice u tramvaju TMK2200, a WTB komunikacijski protokol iskorišten je za analizu komunikacijskog sustava novog niskopodnog elektromotornog vlaka za Željeznice Federacije BiH.

Izvorni jezik
Hrvatski

Znanstvena područja
Elektrotehnika, Temeljne tehničke znanosti

POVEZANOST RADA