Bartha Tamás, Majzik István

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


Redukciós technikák

Nagy rendszerek analízise során célszerű lehet a rendszermodell méretének olyan csökkentése, ami összevonja az aktuálisan vizsgált tulajdonság szempontjából érdektelen részeket (aggregáció), hogy az analízis során már kisebb méretű modellen lehessen dolgozni. A modell efféle redukciója – bár ritkán jut el a vizsgálandó kérdésre adott teljes válaszig – előfeldolgozás jelleggel más típusú analízisekhez (elérhetőségi vizsgálatokhoz, modellellenőrzéshez, strukturális analízishez) is könnyen kapcsolható kiegészítő módszer, amely jelentősen csökkentheti az adott analízis bonyolultságát. Alkalmazásának külön jelentőséget ad, hogy kézi modellezéskor célszerű a modell érthetőségére törekedni, azaz a szemléletes, de éppen ezért redundanciát is tartalmazó modellek megalkotására. Az automatikusan elvégezhető redukció az áttekinthetőség érdekében hozzáadott redundanciát tünteti el a gépi analízis fázisából.

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