process itv model-based analysis and design of embedded software techniques and methods for critical...
Post on 20-Dec-2015
213 views
TRANSCRIPT
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