Bezpečnost softwaru - ADA

Garant předmětu:

Přednášející:

Cvičící:

Předmět zajišťuje:

katedra 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ů: