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

Bezpečnost softwaru - ADA

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

Předmět se zabývá problematikou bezpečností a spolehlivostí 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í, souvislost 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:

Absolvování základního kurzu informatiky a systémové analýzy.

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

Znalost zásad tvorby bezpečných softwarových systémů z hlediska jejich vlastního vývoje, z hlediska příslušných norem vztahujících se na oblast dopravy a z hlediska hodnocení bezpečnosti SW systémů a příslušných schvalovacích procesů.

Studijní materiály:

Norma EN50128, Young S. J.: Programovací jazyky pro RT-aplikace, SNTL, 1989, www.adahome.com

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 16. 9. 2019
Aktualizace výše uvedených informací naleznete na adrese http://bilakniha.cvut.cz/cs/predmet24071205.html