Safety-critical Real-time Embedded Software

This course covers the concepts and theory required to understand, design, program, and analyze safety-critical software-intensive real-time systems (and how you get the most out of your deadline-constrained life). The course specifically covers the following topics: challenges and problems of modern embedded software, building blocks of embedded systems, software modeling and design, UML, UML/MARTE, the scheduled model, the synchronous model, worst-case execution time analysis, real-time scheduling theory, interrupt handling for real-time systems, safety analysis and argumentation, and system performance measurement and evaluation.