|
Vyučující
|
-
Brandejský Tomáš, doc. Ing. Dr.
|
|
Obsah předmětu
|
Úvod do problematiky Chyby a jejich důsledky ADA Komplexita systému a její důsledky Jak lidé řeší konstruktivní úlohy Procesní kapacita a důsledky kognitivních omezení programátora Testování a jeho limity Proces vývoje Zabezpečenost programovacích jazyků OS, COTS, generické systémy Verifikace, validace, assessment, ISO Spark Normy IEC 61508, EN50128 Vývoj SW pro aplikace v letecké a jaderné technice Obsah cvičení: 1. Seznámení s jazykem ADA 2. Datové struktury jazyka ADA 3. Základní řídící struktury jazyka ADA 4. Defenzivní programování 5. Procesy 6. IPC 7. Další pokročilé datové struktury 8. Další řídící struktury pro RT 11. Jazyk SARK 12 Design by contract 13 Využití SPARKu pro odhalování chyb
|
|
Studijní aktivity a metody výuky
|
Přednášení, Nácvik dovedností
- Projekt individuální
- 48 hodin za semestr
- Domácí příprava na výuku
- 14 hodin za semestr
- Příprava na zkoušku
- 14 hodin za semestr
- Semestrální práce
- 26 hodin za semestr
|
|
Výstupy z učení
|
Cílem předmětu je seznámit studenty se specifickými postupy vývoje tzv. mission critical SW systémů včetně systémů pracujících v reálném čase, tedy systémů s vysokými požadavky na bezpečnost, spolehlivost, dostupnost a udržovatelnost.
Absolvováním předmětu jsou získány znalosti a dovednosti v oblasti vývoje bezpečných SW systémů
|
|
Předpoklady
|
Předpokládá se znalost strukturovaného a objektově orientovaného programování.
|
|
Hodnoticí metody a kritéria
|
Analýza výkonu studenta
Podmínkou udělení zápočtu se úspěšné vypracování semestrální práce, podmínkou absolvování je složení zkoušky která se skládá z 5 teoretických otázek.
|
|
Doporučená literatura
|
-
MILLER, F. P., VANDOME, A. F., McBrewster, J. Defensi Programming. 2013. ISBN 6130268610.
|