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

2. Learning Goals Safety Integrity Levels (SIL) as described in the standard IEC 61508 The required processes for SIL level projects Recommended documentation for SIL level projects Safety assessment with Fault Trees Dependability, Fault Tolerance and Mechanisms for Fault Tolerance

3. Mini Project Suppose, that the software that you have designed and tested in the previous modules, is to be deployed in a system - a product: safety-integrity level development process documentation structure assessment procedures

4. Suggested Report structure Introduction to the system (2 pages) Safety Integrity Level with arguments for the placement. (3 pages) Development Process. (4 pages) Documentation Structure. (3 pages) Consider whether the structure allows tracability of requirements, and whether it is easy to use in reviews. Conclusion including an assessment of the required effort to get a process and documentation that leads to certification. (4 pages)

5. Schedule Monday 22 August – first draft to APR Monday 5 September – second draft Saturday 24 September – third draft Monday 3 October - final report