3.3 Summary and seminar exercises

Summary

This module software testing and verification, and how we can formally model and verify system with machine-readable tools. However, no system is ever perfect, so we also need to be aware of how we monitor systems in the field and react to problems.

Advanced material will be presented by each group (one topic per group, group X doing topic 3.4x):

3.3a Software verification

3.3b Threats and Security

3.3c Safety and security standards for next-generation systems

Do

For the first part of the seminar day: Part 3, Theory

For the second part of the seminar day: Part 3, Project