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:

Požadavky na software z hlediska bezpečnosti a spolehlivosti a cesty jejich dosažení, otázky udržovatelnosti a přenositelnosti, souvislost se systémy pracujícími v reálném čase, přístupy k tvorbě bezpečného a spolehlivého SW v Evropských normách, programovací jazyk ADA 95, praktické ukázky práce s implementací GNAT ADA a praktická cvičení, formální metody návrhu software a CASE systémy.

Požadavky:

Osnova přednášek:

Osnova cvičení:

Cíle studia:

Studijní materiály:

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