Bartha Tamás, Majzik István

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


Bevezetés

Napjainkban a ,,biztonság” fogalma a mérnöki gyakorlat egyik központi kérdésévé vált. A biztonság kérdése tradicionálisan a biztonságkritikus területeken (ahol a biztonság sérülése emberéletekbe kerülhet, többek között a közlekedési, nukleáris, orvosi, vegyipari vagy katonai folyamatok és eszközök területén), illetve a missziókritikus területeken (olyan küldetést teljesítő rendszereknél, amelyeknél nem lehetséges a karbantartás, javítás és kárenyhítés külső eszközökkel; például űrbeli vagy mélytengeri küldetések ember nélküli járműveinél) volt megkerülhetetlen. A hibázás költségeinek és a felelősségvállalás kiszélesedésének köszönhetően ma már az ipari rendszertervezés területén a funkcionális biztonság vagy informatikai rendszereknél a szolgáltatásbiztonság fontossága is központi jelentőséget kapott. Ahogyan a biztonság jelentősége és a biztonság hiányának következményei nőnek, úgy fokozódik az elvárás a termékek biztonságosságára vonatkozó állítások meggyőző igazolásával szemben. Ennek köszönhető, hogy a hatályos előírások, nemzetközi szabványok és az engedélyező hatóságok elvárásai is megkövetelik a hatékony biztonságigazolási módszerek és technikák alkalmazását valamennyi, a biztonsággal összefüggő mérnöki területen.

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