Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2019/2020

Bezpečnost software - ADA

Předmět není vypsán Nerozvrhuje se
Kód Zakončení Kredity Rozsah Jazyk výuky
14BSA Z,ZK 6 2+2 česky
Přednášející:
Cvičící:
Předmět zajišťuje:
ústav aplikované informatiky v dopravě
Anotace:

Problematika bezpečnosti a spolehlivosti software, požadavky na jeho bezpečnost a spolehlivost v dopravních aplikacích, otázky přenositelnosti a udržovatelnosti, cesty jejich dosažení, souvislosti se systémy pracujícími v reálném čase, tvorba bezpečného SW v normách EU, praktická práce s implementací GNAT ADA ve cvičeních, formální metody návrhu a CASE systémy.

Požadavky:

Základní znalost algoritmizace a bezpečnostních požadavků na dopravní systémy.

Osnova přednášek:
Osnova cvičení:
Cíle studia:

Cílem předmětu je seznámit studenty s vývojem bezpečného a spolehlivého SW pro potřeby dopravních systémů.

Studijní materiály:

Stephen J. Young - Programovací jazyky pro RT aplikace

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ů:
Platnost dat k 18. 9. 2019
Aktualizace výše uvedených informací naleznete na adrese http://bilakniha.cvut.cz/cs/predmet1524606.html