1. Documentation 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. Planning and Specification

4. Realisation, validation & integration

5. Completing the cycle

6. Requirements and Realisation

7. Software development cycle

8. Software documentation

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