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í ústav:
- Ústav aplikované informatiky v dopravě (16114)
- Anotace:
- Specifika tvorby rozsáhlých systémů pracujících v reálném čase. Problémy s testováním SW a dokazováním jeho korektnosti. Zabezpečenost programovacích jazyků jako obrana proti programátorským chybám, její rozbor. Jazyk ADA a rozbor jeho zabezpečenosti.
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ářů 