Software Safety - ADA
- Department of Applied Informatics in Transportation
Problems of safety and reliability of software, requirements to its safety and reliability in transportation applications, problems of portability and maintenance, ways of their reaching, relations to systems working in real time, safe SW design in EU standards, practical work with GNAT ADA system in excercises, formal design methods and CASE systems.
Basic knowledge of algorithms and safety requirements on transportation systems.
- Syllabus of lectures:
- Syllabus of tutorials:
- Study Objective:
The goal of subject is to introduce students into safe and reliable SW development respecting requirements of transportation systems.
- Study materials:
Stephen J. Young - Programovací jazyky pro RT aplikace, SNTL, Praha, 1990
- Further information:
- No time-table has been prepared for this course
- The course is a part of the following study plans: