Presentation on theme: "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."— Presentation transcript:
T 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: olectures (2 h per week) otutorials (1 h per week right after the lecture/ or additional home assignments) oa 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 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
V - Lifecycle model System Acceptance System Integration & Test Module Integration & Test Requirements Analysis Requirements Model Test Scenarios Software Implementation & Unit Test Software Design Requirements Document Systems Analysis & Design Functional / Architechural - Model Specification Document 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