FORMÁLNÍ METODY VE VÝVOJI SOFTWARU BEZPEČNOSTNĚ KRITICKÉHO SYSTÉMU
Klíčová slova:
software, formální metody, bezpečnost, software, formální metody, bezpečnostAbstrakt
Článek se zaměřuje na využití formálních metod při vývoji softwaru pro bezpečnostně kritické systémy v dopravě. Takové systémy mají narůstající složitost a musejí vyhovovat určitým požadavkům na kvalitu. Formální metody jsou zařazeny do procesu vývoje softwaru. Použití vybrané formální metody Event-B je demonstrováno na specifikaci chování železničního přejezdového zabezpečovacího zařízení.
Reference
Stažení
Publikováno
2019-04-26
Číslo
Sekce
Články
Licence
Copyright (c) 2020 Michal Bubeník
Tato práce je licencována pod Mezinárodní licencí Creative Commons Attribution 4.0 .
Jak citovat
FORMÁLNÍ METODY VE VÝVOJI SOFTWARU BEZPEČNOSTNĚ KRITICKÉHO SYSTÉMU. (2019). Perner’s Contacts, 14(1), 21-27. https://pernerscontacts.upce.cz/index.php/perner/article/view/385
