Course info

Lehrinhalte
Fundamental and advanced concepts for the design and assessment of reliable (dependable/trustworthy) Software and Operating Systems.
The course will cover conceptual, practitioner and research aspects.
- Concepts of software dependability (e.g., robust programming, replication, checkpointing, software ageing etc.)
- Software testing
- Software verification & validation (experimental and formal approaches)
- Distributed systems software
- Current research trends

Voraussetzungen
Courses "Algorithmen und Datenstrukturen", "Betriebssysteme" or similar

Online-Angebote
Moodle