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).

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

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.

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

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