Bartha Tamás, Majzik István

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


Színezett Petri-hálók

A következőkben a színezett Petri-hálók egy konkrét megvalósítását ismertetjük, amelyet angolul Coloured Petri Net vagy röviden csak CP net (CPN) néven hivatkoznak. Ez a legszélesebb körben elterjedt, színezett Petri-háló formalizmus, amelyet a dán Kurt Jensen dolgozott ki és fejlesztett tovább az Aarchus Egyetemen 1979-től. A formalizmust kezdetben támogató Design/CPN, majd az azt felváltó CPN Tools modellező eszközöknek is nagy szerepük volt abban, hogy ez a magas szintű Petri-háló leírási mód és megközelítés vált általánosan elfogadottá mind az akadémiai szférában, mind az iparban. A másik fontos, a CPN-hálók népszerűségét növelő körülmény, hogy az alapul szolgáló High-level Petri Nets modellezési nyelv 2004 óta nemzetközi szabvánnyá vált.

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

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//

BibTeXEndNoteMendeleyZotero

Kivonat
fullscreenclose
printsave