hrvatski

Analiza i sinteza ugrađenih sabirničkih komunikacijskih sustava pomoću obojenih Petrijevih mreža

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.

Petrijeve mreže; Komunikacija za tračnička vozila; Modeliranje; Simulacija; Verifikacija; Validacija; Industrijske komunikacije; Ugrađeni sustavi

nije evidentirano