Search

Software Engineering

Safety critical software

The purpose is to give the students an overview of issues and methods for development and assurance of safety-critical software, including details of selected technologies, methods and tools. The course includes four modules: Introduction to functional safety; knowledge that give increased understanding of the relationship between Embedded systems / safety-critical system / accidents / complexity / development models (development lifecycle models) / certification / “the safety case”. Analysis and modelling methods; review of analysis and modelling techniques for the development of safety-critical systems. Verification and validation of safety critical software, methods and activities to perform verification and validation. Architectures for safety critical systems. Safety as a design constraint.  

Systems-of-Systems Engineering

This course makes you acquainted with the concept of systems-of-systems (SoS), which means that independent systems are collaborating. It gives you an understanding why SoS is an important topic in the current digitalisation and provides a theoretical and practical foundation for understanding important characteristics of SoS. It also gives you a deeper knowledge in a number of key concerns that need to be considered when engineering SoS. Admitted students may join the course any time between September 2 and October 6, 2024. With the recommended study pace of 25%, the course would take approximate seven calendar weeks to complete. Higher or lower study pace is possible as long as the course is finished no later than January 19, 2025.