|
|
Hlavní nabídka Prohlížení IS/STAG
Nalezené předměty, počet: 1
Stránkování výsledků vyhledávání
Nalezeno 1 záznamů
Export do Xls
Informace o předmětu
KST / NNBSW
:
Popis předmětu
Pracoviště / Zkratka
|
KST
/
NNBSW
|
Akademický rok
|
2023/2024
|
Akademický rok
|
2023/2024
|
Název
|
Bezpečnost a spolehlivost SW
|
Způsob zakončení
|
Zkouška
|
Způsob zakončení
|
Zkouška
|
Akreditováno / Kredity
|
Ano,
5
Kred.
|
Forma zakončení
|
Kombinovaná
|
Forma zakončení
|
Kombinovaná
|
Rozsah hodin
|
Přednáška
2
[HOD/TYD]
Cvičení
2
[HOD/TYD]
|
Zápočet před zkouškou
|
Ano
|
Zápočet před zkouškou
|
Ano
|
Automatické uznávání zápočtu před zkouškou
|
Ne
|
Počítán do průměru
|
ANO
|
Vyučovací jazyk
|
Čeština
|
Obs/max
|
|
|
|
Automatické uznávání zápočtu před zkouškou
|
Ne
|
Letní semestr
|
0 / -
|
0 / -
|
0 / -
|
Počítán do průměru
|
ANO
|
Zimní semestr
|
0 / -
|
7 / -
|
0 / 0
|
Opakovaný zápis
|
NE
|
Opakovaný zápis
|
NE
|
Rozvrh
|
Ano
|
Vyučovaný semestr
|
Zimní semestr
|
Vyučovaný semestr
|
Zimní semestr
|
Minimum (B + C) studentů
|
nestanoveno
|
Volně zapisovatelný předmět |
Ano
|
Volně zapisovatelný předmět
|
Ano
|
Vyučovací jazyk
|
Čeština
|
Počet dnů praxe
|
0
|
Počet hodin kontaktní výuky |
0
|
Hodnotící stupnice |
A|B|C|D|E|F |
Periodicita |
každý rok
|
Hodnotící stupnice pro zp. před zk. |
S|N |
Periodicita upřesnění |
|
Základní teoretický předmět |
Ne
|
Profilující předmět |
Ano
|
Základní teoretický předmět |
Ne
|
Hodnotící stupnice |
A|B|C|D|E|F |
Hodnotící stupnice pro zp. před zk. |
S|N |
Nahrazovaný předmět
|
KST/INBSW
|
Vyloučené předměty
|
Nejsou definovány
|
Podmiňující předměty
|
Nejsou definovány
|
Předměty informativně doporučené
|
Nejsou definovány
|
Předměty,které předmět podmiňuje
|
Nejsou definovány
|
Graf četnosti udělených hodnocení studentům napříč roky:
Obrázek PNG
,
XLS
|
Cíle předmětu (anotace):
|
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.
|
Požadavky na 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.
|
Obsah
|
Úvod do problematiky
Chyby a jejich důsledky
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
Normy IEC 61508, EN50128
Vývoj SW pro aplikace v letecké a jaderné technice
|
Aktivity
|
|
Studijní opory
|
Nemáte oprávnění měnit program předmětu (záložky Předpoklady, Způsobilosti, Obsah, Požadavky, Metody, Literatura, Zařazení, Časová náročnost, Ostatní)!
|
Garanti a vyučující
|
|
Literatura
|
-
Základní:
MILLER, F. P., VANDOME, A. F., McBrewster, J. Defensi Programming. 2013. ISBN 6130268610.
|
Časová náročnost
|
Všechny formy studia
|
Aktivity
|
Časová náročnost aktivity [h]
|
Projekt individuální
|
48
|
Semestrální práce
|
26
|
Příprava na zkoušku
|
14
|
Domácí příprava na výuku
|
14
|
Celkem
|
102
|
|
Předpoklady - další informace k podmíněnosti studia předmětu |
Předpokládá se znalost strukturovaného a objektově orientovaného programování. |
Získané způsobilosti |
Absolvováním předmětu jsou získány znalosti a dovednosti v oblasti vývoje bezpečných SW systémů |
Vyučovací metody |
- Přednášení
- Nácvik dovedností
|
Hodnotící metody |
|
|
|
|