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/Validation 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 NO LECTURE
Mar. 13 (Teemu Tynjälä) B-method: Tool support
Mar 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 Knowledge Base * Requirements Test Scenarios
System
Acceptance
Integration & Test
Module
Requirements
Analysis
Requirements Model
Test Scenarios
Software
Implementation
& Unit Test
Design
Document
Systems
Analysis & Design
Functional /
Architechural - Model
Specification
Knowledge Base *
* Configuration controlled Knowledge
that is increasing in Understanding
until Completion of the System:
Requirements Documentation
Requirements Traceability
Model Data/Parameters
Test Definition/Vectors