1. Homepage
  2. Doctor of Philosophy (PhD) in Computational Applied Science and Engineering (Interdisciplinary)
  3. Course Plans
  4. Güvenlik Öncelikli Bilgisayar Sistemleri

PDF

COURSE DESCRIPTION AND APPLICATION INFORMATION

Course Name Code Semester T+A+L (hour/week) Type (C / O) Local Credit ECTS
Safety Critical Computer Systems CE 504 Fall-Spring 03+00+00 Elective 3 7.5
Academic Unit: Department of Computer Engineering
Mode of Delivery: Face to face
Prerequisites: None
Language of Instruction: English
Level of Course Unit: Graduate
Course Coordinator: Nima Jafari NAVİMİPOUR & Taner ARSAN
Course Lecturer(s): Nima Jafari NAVİMİPOUR
Course Objectives: The main objective of this course is for students to learn the terminology of safety related systems, some classical topologies and test case determination to thorougly test an algorithm. It is expected that students will be able to demonstrate their knowledge on safety critical systems by analysing some catastrophic accidents and suggest a remedy that could prevent it to happen. ired to complete a small project and make a short simulation in class.
Course Contents: Safety related systems’ vocabulary, safety integrity levels, hazard analysis, risk analysis, developing safety-critical systems, hardware and software fault tolerance, redundancy, system reliability, availability, mean time to repair (MTTR), mean time to failure (MTTF), mean time between failures (MTBF), Markov diagrams, hardware and microprocessor design faults, redundant hardware topologies and examples, test design to thoroughly check the working status and effectiveness of every decision according to MC/DC criteria.
Learning Outcomes of the Course Unit (LO):
  • 1- Analyse of failure modes and risks.
  • 2- Design of safety critical digital circuits
  • 3- Design of failsafe microprocessor based systems and PLCs according to required safety integrity levels
  • 4- Design of test procedures to comply with RTCA DO178B and MCDC criterion.
Planned Learning Activities and Teaching Methods: Explanation of course topics by means of slides, solving problems in real-time, giving homeworks to students and later inviting students to present their studies.


WEEKLY SUBJECTS AND RELATED PREPARATIONS

WeekSubjectsRelated Preperation


REQUIRED AND RECOMMENDED READING

[1] Storey, N., 1996. Safety Critical Computer Systems, Pearson/Prentice
Hall (Main book)
[2] Dunn, W. R., 2002. Practical Design of Safety-Critical Computer
Systems , ISBN-10: 0971752702.
[3] Leveson N. G., 1995. Safeware: System Safety and Computers, Addison-
Wesley Professional.


OTHER COURSE RESOURCES

A Practical Tutorial on Modified Condition/Decision Coverage.
NASA/TM-2001-210876


ASSESSMENT METHODS AND CRITERIA

Semester RequirementsNumberPercentage of Grade (%)
Total: 0 0


WORKLOAD

EventsCountDuration (Hours)Total Workload (hour)
Total Workload (hour):0


THE RELATIONSHIP BETWEEN COURSE LEARNING OUTCOMES (LO) AND PROGRAM QUALIFICATIONS (PQ)

# PQ1 PQ2 PQ3 PQ4 PQ5 PQ6 PQ7 PQ8 PQ9 PQ10
LO1                    
LO2                    
LO3                    
LO4