T-79.5303 Safety Critical Systems (4 cr)

1
T-79.5303 Safety Critical Systems (4 cr)

• 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/Valida
  tion Tools. We will be particularly interested in
  the B-method for specification and verification
  (used by e.g. Airbus).

2
Pass the course

• The course consists of
• lectures (2 h per week)
• tutorials (1 h per week right after the lecture/
  or additional home assignments)
• a compulsory home assignment
• In order to pass the course you have to
• pass the final home assignment

3
Lectures

• Lectures by Ilkka Herttua and Teemu Tynjälä will
  take place on Thursdays from 1700 hrs to 1900 hrs
  in Computer Science building lecture room T5.
• Course material Safeware System safety and
  Computers (N.Leveson) and Safety Critical
  Computer Systems (N.Storey) and lecture notes.

4
Lectures spring 2008

• Jan. 17 (Ilkka Herttua Teemu Tynjälä)
  Introduction
• Jan. 24 (Teemu Tynjälä) Formal methods
  introduction diffusion
• Jan. 31 (Ilkka Herttua) Requirements
  Engineering and safety systems
• Feb. 7 (Ilkka Herttua) Risk Analysis and
  Safeware
• Feb. 14 (Ilkka Herttua) Formal Methods and
  Formal Specification
• Feb. 21 (Teemu Tynjälä) B-method Basic
  Structures
• Feb. 28 (Teemu Tynjälä) B-method Functions,
  Relations
• Mar. 6 --- NO LECTURE
• Mar. 13 (Teemu Tynjälä) B-method Tool support
• Mar. 20 --- NO LECTURE
• Mar. 27 (Ilkka Herttua) Verification,
  Validation Testing
• Apr. 3 (Ilkka Herttua) Tools and Application
• Apr. 10 (Teemu Tynjälä) B-method review
• Apr. 17 (Ilkka Herttua) Tools and Applications

5
V - Lifecycle model