MeRSZ online
okoskönyvtár
Több száz tankönyv egy helyen.
Online. Bárhol. Bármikor.
Biztonságra tervezés és biztonságigazolás formális módszerei
Modellellenőrzési példák
Tartalomjegyzék
- BIZTONSÁGRA TERVEZÉS ÉS BIZTONSÁGIGAZOLÁS FORMÁLIS MÓDSZEREI
- Impresszum
- Előszó
- 1. Bevezetés
- 2. A biztonság igazolása
- 3. Biztonsági követelmények megfogalmazása
- 4. Rendszerek viselkedésének formális modellezése
- 4.1. Petri-hálók
- 4.1.1. A Petri-hálók felépítése
- 4.1.2. A Petri-hálók dinamikus viselkedése
- 4.1.3. A tüzelés algebrai jellemzése
- 4.1.4. Kiterjesztések: a tüzelési szemantika módosítása
- 4.1.5. A Petri-hálók viselkedési tulajdonságai
- 4.1.6. A Petri-hálók strukturális tulajdonságai
- 4.1.7. A Petri-hálók analízismódszerei
- 4.2. Magas szintű Petri-hálók
- 4.3. Időzített automaták
- 4.1. Petri-hálók
- 5. A működés ellenőrzése: formális verifikáció
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
gomb segítségével választhatsz, hogy fejezetről fejezetre lapozva vagy inkább folyamatosan görgetve olvasnád-e a könyvet.
