Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2018/2019

Software Safety - ADA

The course is not on the list Without time-table
Code Completion Credits Range Language
14BSA Z,ZK 6 2+2 Czech
Lecturer:
Tutor:
Supervisor:
Department of Applied Informatics in Transportation
Synopsis:

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.

Requirements:

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

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 2019-08-23
For updated information see http://bilakniha.cvut.cz/en/predmet1524606.html