Efficient Safety-Critical Systems

This lecture explores the challenge of building safety-critical systems that are both correct and efficient. The instructor discusses the move towards integrated computing environments and how to reintegrate efficiency considerations into the design process. The lecture covers constructing cyclic executives for scheduling mixed criticality systems, including the algorithm for building scheduling tables. The instructor explains the importance of using worst-case execution times and the implications for system designers and certification authorities. The lecture concludes with insights on real-time scheduling theory and the potential for resource-efficient implementations of mixed criticality systems.