TCS / Studies / T-79.5303 Safety Critical Systems
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

T-79.5303 Safety Critical Systems (4 cr)

Spring 2008

This is a basic course on Safety Critical Systems and the use of Formal Methods to verify and validate safety systems. Subjects covered this year are: Requirement Engineering, Hazard/Risk Analysis Methods, System Reliability, Safety Critical Hardware/Software and Verification/Validation Tools. We will be particularly interested in the B-method for specification and verification (used by e.g. Airbus).

The course T-79.5303 replaces the earlier course T-79.232 Safety Critical Systems .

[Current] [General] [Lectures] [Tutorials] [Exams] [Material] [Feedback] [Links]


  • Lectures for the new course will begin on January 17, 2008
  • The TOPI registration has been opened - The registration will close on Jan 27 at 23:59.
  • The Results of the Assignment are available (May 31)

General Information

  • The course consists of:
    • lectures (2 h per week, in English or Finnish depending on participants)
    • tutorials (1 h per week, English or Finnish, right after the lecture)
    • a compulsory home assignment

  • Registration for the course is by TOPI. You must register in order to take the course.

  • In order to pass the course you have to:
    1. pass the final home assignment


Lectures by Ilkka Herttua and Teemu Tynjala will take place on Thursdays from 1700 hrs to 1900 hrs in Computer Science building lecture room T5. The tutorials are held right after the lectures. They last at most one hour. Fear not -- most days, we will finish everything by 7 PM ;)

Here are the lecture times:
  • Jan. 17 (Ilkka Herttua & Teemu Tynjala) Introduction
  • Jan. 24 (Teemu Tynjala)
  • Jan. 31 (Ilkka Herttua)
  • Feb. 7 (Ilkka Herttua)
  • Feb. 14 (Ilkka Herttua)
  • Feb. 21 (Teemu Tynjala)
  • Feb. 28 (Teemu Tynjala)
  • Mar. 6 --- NO LECTURE
  • Mar. 13 (Teemu Tynjala)
  • Mar. 20 --- NO LECTURE
  • Mar. 27 (Ilkka Herttua)
  • Apr. 3 (Ilkka Herttua)
  • Apr. 10 (Teemu Tynjala)
  • Apr. 17 (Ilkka Herttua)

Ilkka's Lecture Slides

Teemu's Lecture Slides


Home Assignment

The compulsory home assignment needed to pass the course may be downloaded here: Assignment 2008.

The B machine Access needed in the assignment is here: Access.mch The article related to Teemu's question 7 is here: Article for Teemus last question

The material related to Ilkka's questions is here (in jpg format. Save them on your disk and zoom in to read them):

Page 1 out of 3
Page 2 out of 3
Page 3 out of 3

You have until midnight May 9 to return the assignment. 50% of your grade will be determined by Ilkka's questions and the other 50% by my questions. Bonus from Ilkka's extra assignments will be counted to your benefit.

Good luck in the assignment!

Results for the assignment (As Excel): RESULTS_2008. Everyone passed and the lowest grade was 3, so you did very well. Have a good summer.


We support two textbooks in the course:

Neil Storey: Safety Critical Systems
Nancy Leveson: Safeware

Both books cover the material necessary for completing the course.



[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 30 May 2008.