Lukács, Gábor and Bartha, Tamás (2021) Közúti fedezőjelzőrendszer formális modellezése UPPAAL keretrendszer felhasználásával. MŰSZAKI SZEMLE (EMT) (77). pp. 18-37. ISSN 1454-0746
|
Text
muszaki_szemle_2021_77_18-37.pdf Download (2MB) | Preview |
Abstract
A rendszerek modellezésén alapuló fejlesztés széles körben használt technika a mérnöki gyakorlatban. A formális modellezés és verifikáció egy hatékony eszközkészlet, amely a modellezést kombinálja a matematikai precizitással. E cikkben egy városi vasúti biztonságkritikus rendszer formális modellezését mutatjuk be az UPPAAL keretrendszer felhasználásával.
| Item Type: | Article |
|---|---|
| Uncontrolled Keywords: | városi vasút, modellezés, funkcionalitás, formális módszerek, időzített automaták |
| Subjects: | T Technology / alkalmazott, műszaki tudományok > T2 Technology (General) / műszaki tudományok általában T Technology / alkalmazott, műszaki tudományok > TF Railroad engineering and operation / vasútépítés és üzemeltetés |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | Zsolt Baráth |
| Date Deposited: | 27 Oct 2025 16:51 |
| Last Modified: | 27 Oct 2025 17:14 |
| URI: | https://real.mtak.hu/id/eprint/227527 |
Actions (login required)
 |
Edit Item |
