T-79.232 Safety-Critical Systems (2 cr)

Spring 2005

This course will be lectured next time in Spring 2005.

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.

General Information

• Lectures by Ilkka Herttua (herttua@eurolock.org) and Teemu Tynjälä (teemu.tynjala@nokia.com) Wednesdays 17-19, room TB353. The course starts on Jan. 19.
• Tutorials by lecturers: Wednesdays 19-20, room TB353
• Course material: N. Storey: Safety Critical Systems (some copies available in HUT libraries)
  Lecture notes.
  We shall be gradually changing our book to Leveson: Safeware. If you are planning to buy a book for this course, I'd choose Leveson over Storey already this spring.
• In order to pass the course one has to
  • pass the home assignments

Lecture Contents

Lecture Slides

Case Study Slides

Home Assignments

The Home Assignment for year 2005 can be downloaded here: THE ASSIGNMENT

Schedule

The due date is May 12, 2005. Return your answers via email to both teemu.tynjala@nokia.com and herttua@eurolock.org

Thanks again for a great course. Have a great spring and summer.

Ilkka and Teemu.

Here are the results... I've indicated only your Student ID's last 3 digits as well as the letter in the end: RESULTS

Other Interesting Stuff