1. Process ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg University August 2011

2. System Analysis and Definition

3. Determining the Hazards and risks

4. Determining the SIL and the PFx

5. Safety Requirements Allocation

6. Planning and Specification

7. Realisation, validation & integration

8. Software – at last

9. Completing the cycle

10. Requirements and Realisation Our JOB

11. Software development cycle

12. Requirements

13. Design and Development

14. Detailed Design

15. Unit testing

16. Integration testing (model based?)

17. 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

18. Techniques and Measures

19. Mechanisms in design

20. More Mechanisms

21. Testing

22. 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 it Heninger & Parnas, 1979 Exercise – is it theV-model?

23. Exercise – OOAD in Context 1.Requirements Specification 1.1 System Definition 1.2 Problem Domain Structure 1.3 Application Domain Structure 2.Architecture 3.Modules 4.Implementation 5. Test