Lesson plan / SOFTWARE SAFETY

Lesson Information

Course Credit 3.0
Course ECTS Credit 4.0
Teaching Language of Instruction İngilizce
Level of Course Bachelor's Degree, TYYÇ: Level 6, EQF-LLL: Level 6, QF-EHEA: First Cycle
Type of Course Programme Elective
Mode of Delivery Face-to-face
Does the course require compulsory or optional work experience? S
Course Coordinator
Instructor (s)
Course Assistant

Purpose and Content

The aim of the course This course provides students with the fundamental concepts in the field of software safety.
Course Content Software Safety Concepts and Criteria Hazard and Risk Analysis System and Software Reliability Safety Critical Systems Development Software Fault Tolerance Validation and Verification, and Formal Methods for Software Safety Safety Critical Hardware and Software Quality, Safety Standards and Certification

Weekly Course Subjects

1Introduction
2Fundamentals of safety engineering
3System theory and its relationship to safety
4Software Safety Concepts and Criteria
5Hazard and Risk Analysis Integrating safety into software engineering
6STAMP An accident model based on system theory
7System and Software Reliability
8Safety Critical Systems Development
9Software Fault Tolerance
10Validation and Verification, and Formal Methods for Software Safety
11Using STAMP
12Safety Critical Hardware and Software
13STPA a new hazard analysis technique Safety guided design
14Quality, Safety Standards and Certification Software Safety Case Studies

Resources

1-Engineering a Safer World: Systems Thinking Applied to Safety, By Nancy Levenson, MIT, Press, 2009, ISBN 0-26201-662-1