Transcript T-79.5303 Safety Critical Systems (4 cr)

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:
o lectures (2 h per week)
o tutorials (1 h per week right after the
lecture/ or additional home assignments)
o 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
Requirements Model
Requirements
Document
Test Scenarios
Knowledge Base *
Test Scenarios
Requirements
Analysis
Functional /
Architechural - Model
Systems
Analysis &
Design
Specification
Document
Software
Design
System
Acceptance
System
Integration & Test
Module
Integration & Test
Software
Implementation
& Unit Test
* Configuration controlled Knowledge
that is increasing in Understanding
until Completion of the System:
• Requirements Documentation
• Requirements Traceability
• Model Data/Parameters
• Test Definition/Vectors