Presentation is loading. Please wait.

Presentation is loading. Please wait.

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.

Similar presentations


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:

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

2 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

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


Download ppt "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."

Similar presentations


Ads by Google