Software Safety - ADA
- Department of Applied Informatics in Transportation
The course discuss problems of software safety and reliability, requirements on its safety and reliability in transportation application, questions of portability and maintainability, ways of their satisfaction, parallels to systems working in real-time, development of safety SW in EU standards, practical work with implementation GNAT ADA, formal methods of development and CASE systems.
Passing basic courses dealing with computer science and system analysis or proving equivalent knowledge.,
- Syllabus of lectures:
- Syllabus of tutorials:
- Study Objective:
Knowledge of principles of safe SW systems within the following viewpoints: their own design development, related standards in the field of transportation, the SW systems safety assessment; other relevant assessment processes.
- Study materials:
Norma EN50128, Young S. J.: Programovací jazyky pro RT-aplikace, SNTL, 1989, www.adahome.com
- Further information:
- No time-table has been prepared for this course
- The course is a part of the following study plans: