Bartha Tamás, Majzik István

Biztonságra tervezés és biztonságigazolás formális módszerei

Időzített automaták

Az időzített automaták a valós idejű rendszerek modellezésének és ellenőrzésének egyik elméleti megközelítését alkotják. Hasonló célú, szintén sikeres és elterjedt formalizmusok az időzített Petri-hálók, az időzített processz algebrák és a valós idejű logikák. Számos olyan modellező és modellellenőrző eszközt fejlesztettek ki, amelyek bemeneti (a működést specifikáló) nyelvét az időzített automaták adják. Ennek a fejezetnek a célja bemutatni az időzített automaták szintaxisát és szemantikáját olyan mélységben, ami már elegendő egyszerűbb modellek megalkotásához és ellenőrzéséhez, és kellő alapot ad az önálló továbblépéshez is.

Biztonságra tervezés és biztonságigazolás formális módszerei

Tartalomjegyzék

Kiadó: Akadémiai Kiadó

Online megjelenés éve: 2019

ISBN: 978 963 454 291 9

Műszaki tudományok BME KJK könyvek

Jelen jegyzet a Budapesti Műszaki és Gazdaságtudományi Egyetem Közlekedésmérnöki és Járműmérnöki Kara Autonóm járműirányítási mérnök MSc mesterszak képzéséhez készült kiegészítő tananyagként. Az autonóm járművek a jövőben olyan mértékben alakítják át a közlekedéssel kapcsolatos társadalmi elvárásokat, és ennek kapcsán biztonságos működésükkel kapcsolatban olyan elvárások fogalmazódnak meg, hogy a jegyzetben ismertetett biztonságigazolási módszerek egyre jobban integrálódni fognak a járműmérnöki gyakorlatba. Jegyzetünk megalapozó tankönyvnek tekinthető a formális módszerek mérnöki alkalmazása területén: bevezet a legfontosabb formális leírási módok használatába, segít a rendszerek modellezésének megértésében és elsajátításában, és bemutatja a modellellenőrzés legfontosabb módszereit.

Hivatkozás: https://mersz.hu/bartha-majzik-biztonsagra-tervezes-es-biztonsagigazolas-formalis-modszerei//

BibTeX EndNote Mendeley Zotero