Zabezpečenost programovacích jazyků pro kritické aplikace

Garant předmětu:

Přednášející:

Cvičící:

Předmět zajišťuje:

katedra aplikované informatiky v dopravě

Anotace:

Základní pojmy

Programátorské chyby a jejich důsledky

Složitost software a její důsledky na spolehlivost a bezpečnost

Modely lidského uvažování při řešení konstruktivních úloh

Procesní kapacita

Problematika testování, základní přístupy k testování

Proces vývoje software

Zabezpečenost programovacích jazyků

Jazyky ADA a SPARK

Normy IEC 61508, EN50128

Užití nedokumentovaného SW v bezpečnostně relevantních systémech

Verifikace, validace, assessment, normy ISO

Požadavky:

Osnova přednášek:

Osnova cvičení:

Cíle studia:

Studijní materiály:

Poznámka:

Další informace:

Pro tento předmět se rozvrh nepřipravuje

Předmět je součástí následujících studijních plánů: