Models

Seminar Software Engineering (BSc/MSc): Perspectives on Engineering Dependable Software Systems

Context Is testing enough? Sometimes it is not, especially when the systems we seek to build need to be dependable, when we need assurances on their behavior - that they operate in compliance to their requirements. What is the underlying problem? Our life is increasingly reliant on the correct functioning of software systems - from distributed and cloud applications to automotive and autonomous robotic systems. The problem of how to engineer such software systems in a dependable manner will not go away – it will only become more pressing, as systems become more complex, have emergent behaviors and capturing their requirements into precise specifications (or programs) is hard and error-prone.