|
Lecturer(s)
|
-
Brandejský Tomáš, doc. Ing. Dr.
|
|
Course content
|
Introduction into the subject Errors and their consequences System complexity and its cosequences How people solve constructive tasks? Processing capacity and consequences of cognitive limitations of the programmer Testing and its limits Development process Programming language safety OS, COTS, generic systems Verification, validation, assessment, ISO Spark I. Sark II. IEC 61508, EN50128 standards SW development for avionics and nuclear systems
|
|
Learning activities and teaching methods
|
unspecified, Skills training
- Individual project
- 48 hours per semester
- Home preparation for classes
- 14 hours per semester
- Preparation for an exam
- 14 hours per semester
- Term paper
- 26 hours per semester
|
|
Learning outcomes
|
The aim of this subject is to introduce students into development methods of so-called mission critical systems including real-time systems, thus systems with high requirements to safety, reliability, availability and maintainaility.
Absolving of the subject gives ablities to develop safe SW systems
|
|
Prerequisites
|
There is expected knowledeg of strucured and object oriented programming.
|
|
Assessment methods and criteria
|
Student performance assessment
The requirement of assessment is satifactory writing of semestral work, the requirement of subject is passing of the exam.
|
|
Recommended literature
|
-
MILLER, F. P., VANDOME, A. F., McBrewster, J. Defensi Programming. 2013. ISBN 6130268610.
|