Bartha Tamás, Majzik István

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

A biztonság igazolása

Számos példa mutatja, hogy biztonságkritikus rendszerek fejlesztési projektjeinek késedelme részben a biztonságértékelési folyamat tisztázatlanságának vagy technikai elégtelenségének volt tulajdonítható. A megbízhatóság igazolásának tervezése komoly jelentőséggel bíró projekttevékenység. Az értékelés megalkotása, azaz az állítások és az érvelés kialakítása, valamint az előállítandó bizonyítékok jellegének meghatározása – az emberi és anyagi erőforrásigényt tekintve – viszonylag olcsó azoknak a tervezési változtatásoknak a költségéhez képest, amelyeket a későbbiekben el kell végezni, ha a biztonságértékelési megközelítésről utólag kiderül, hogy hibás. Az értékelés megalkotása a részletes bizonyítékok előállításának erőforrásigényéhez képest is relatíve olcsó. A biztonságértékelési stratégia megtervezése és elfogadtatása a követelményelemzés egyik formájának tekinthető, amelytől hasonló megtérülés várható, ha a projekt korai szakaszában helyesen végzik el.

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