english
Zabezpečenost programovacích jazyků pro kritické aplikace
- Kód předmětu:
- 14ZJA
- Studium:
- doktorské
- Studijní program:
-
Inženýrská informatika (P 3902)
jazyk obor / specializace 
I Inženýrská informatika v dopravě a spojích - 3902V036 - Forma studia:
- prezenční a kombinovaná
- Typ předmětu:
- volitelný
- Zakončení:
- zkouška (zk)
- Garantující katedra:
- Katedra aplikované informatiky v dopravě (16114)
- 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
aktualizováno 2.3.2022
Vyjádření podpory zaměstnancům a studentům s ohledem na situaci na Ukrajině
Vážené kolegyně, vážení kolegové, studentky a studenti,
na stránkách fakulty jsme se přidali k vyjádření AS ČVUT a odsoudili vojenskou agresi Ruské federace na území svrchovaného státu Ukrajina. Rád bych ale nabídl i konkrétní pomoc. Pokud byste se v souvislosti s kritickou situací na území Ukrajiny dostali do složité životní situace, která by ovlivňovala vaše studijní nebo pracovní povinnosti na fakultě, neváhejte se obrátit buď na studijní oddělení nebo vedoucího vašeho pracoviště. Jsme připraveni podat pomocnou ruku každému jednomu z Vás.
Buďme solidární a jednotní! Věřme, že tento neomluvitelný zásah Ruské federace na území svrchovaného státu Ukrajina brzy skončí a Evropa bude opět svobodným a mírovým kontinentem.
S pozdravem,
Ondřej Přibyl
Další informace (stanovisko rektora a vedení ČVUT, příkaz rektora, atd) naleznete na stránkách ČVUT .
Návod k používání kalendářů 