DOAJ
Open Access
2019
FORMÁLNÍ METODY VE VÝVOJI SOFTWARU BEZPEČNOSTNĚ KRITICKÉHO SYSTÉMU
Michal Bubeník
Abstrak
Č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í.
Topik & Kata Kunci
Penulis (1)
M
Michal Bubeník
Akses Cepat
PDF tidak tersedia langsung
Cek di sumber asli →Informasi Jurnal
- Tahun Terbit
- 2019
- Sumber Database
- DOAJ
- Akses
- Open Access ✓