Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2023/2024
UPOZORNĚNÍ: Jsou dostupné studijní plány pro následující akademický rok.

Software Safety - ADA

The course is not on the list Without time-table
Code Completion Credits Range Language
14Y2BS KZ 2 2+0 Czech
Garant předmětu:
Lecturer:
Tutor:
Supervisor:
Department of Applied Informatics in Transportation
Synopsis:

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.

Requirements:

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

Note:
Further information:
No time-table has been prepared for this course
The course is a part of the following study plans:
Data valid to 2024-03-27
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/en/predmet24071205.html