process itv model-based analysis and design of embedded software techniques and methods for critical...

Process

ITV Model-based Analysis and Design of Embedded SoftwareTechniques and methods for Critical Software

Anders P. RavnAalborg University

August 2011

System Analysis and Definition

Determining the Hazards and risks

Determining the SIL and the PFx

Safety Requirements Allocation

Planning and Specification

Realisation, validation & integration

Software – at last

Completing the cycle

Requirements and Realisation

Our JOB

Software development cycle

Requirements

Design and Development

Detailed Design

Unit testing

Integration testing (model based?)

A note on safety functions

”Distinguish consistently between: (1) the end-to-end safety function that is supported by one or more elements and (2) the element safety function of each of the supporting elements.”

IEC 61508-3 7.4.2.11 NOTE

Techniques and Measures

Mechanisms in design

More Mechanisms

Testing

Requirements Spec --------------------------- Accpt. Test Report Acceptance Test Spec

Architectural Spec ------------------------ Integr. Test Report Integration Test Spec

Module Interface Spec Module Spec ------------------- Module Test Report

Module Test Spec

Program Source text

A rational Design Process – or how to fake itHeninger & Parnas, 1979

Exercise – is it theV-model?

Exercise – OOAD in Context

1. Requirements Specification1.1 System Definition

1.2 Problem Domain Structure

1.3 Application Domain Structure

2. Architecture

3. Modules

4. Implementation

5. Test