Programming Languages Security for Acute Situations

Course guarantor:

Lecturer:

Tutor:

Supervisor:

Department of Applied Informatics in Transportation

Synopsis:

Basic terms

Programmers errors and their consequences

Software complexity and its influence onto reliability and safety

Human reasoning models for constructive task solving

Processing capacity

Testing, problems and basic approaches

Software development process

Programming language safety

Languages ADA and SPARK

Standards IEC 61508, EN50128

The use of undocumented SW in safety relevant systems

Verification, validation, assessment, ISO standards

Requirements:

Syllabus of lectures:

Syllabus of tutorials:

Study Objective:

Study materials:

Note:

Further information:

No time-table has been prepared for this course

The course is a part of the following study plans: