Design sicherheitsgerichteter Software

TOP

TOPIC

Estimated time

1

Introduction

·       Overview of main IEC / ISO Standards with relation to Functional Safe Software

·       Risk definition

·       Definition of Terms (PFH, DC, MTTF, Cat, SFF, HFT)

·       Meaning and Definition of the term “Safe” for software

·       Fault creeping in Software

·       Context: hardware and software

·       Software Life Cycle Model

·       Software Design Model

·       Design Routes 1S, 2S, 3S

3 h

2

Safety Management for Software

·       Safety Plan

·       Validation and Verification Plan (V&V plan)

·       Plan of fault avoidance

·       Documentation Plan

·       Requirement Engineering

·       Requirement Traceability

·       Software Design and Development Support Tools

·       Software Tool Qualification (T1, T2, T3)

4 h

3

Safety Software Design

·       Software Architecture

·       Hardware Software Interface

·       Software Module Design

·       Coding

·       Coding Guidelines

2 h

4

Software Validation and Verification Methods

·       Reviews and qualified Review Reports

·       Tests (Static Tests)

·       Unit Testing

·       Module Integration Tests

·       PE Integration Test

·       Fault Insertion Test

·       Analysis

·       System Validation

2 h

5

Software for Diagnostic of Hardware

·       Failure detection algorithms

·       RAM Tests

·       ROM Tests

·       Stack Tests

·       Soft-Error-Problem

·       CPU Tests

·       MMU Tests

·       DMA, Hypervisor Problems

·       CACHE Problems

·       Program flow Monitoring

·       Use of special safety microcontroller

·       Lock-step

·       Software Partitioning  

2 h

6

Design of PC Programming and Configuration Tools

·       Definition LVL and FVL

·       Definition Offline- and Online-Tools

·       Design Requirements

·       Fault Models

·       Security Aspects

2 h