Bezpečnost software - ADA

Přednášející:

Cvičící:

Předmět zajišťuje:

ústav informatiky a telekomunikací

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

• BI nav.prez. 11/12 (povinný předmět)
• ID nav.prez. 11/12 (povinný předmět)