Explores time-determinator model checking, U-Pool scheduling, worst-case execution time analysis, and statistical model checking for cyber-physical systems.
Provides an overview of MicroC/OS-II, a real-time kernel with multitasking capabilities and deterministic functions, covering topics such as task management, kernel, and intertask communication.
Focuses on designing formally correct intermittent systems in batteryless systems powered intermittently, addressing challenges and strategies for ensuring correctness.
Discusses scheduling internals, metrics, and policies in computer systems, emphasizing efficiency and the complexities of modern multi-core architectures.
Delves into building efficient safety-critical systems, emphasizing the importance of worst-case execution times and the challenges of integrating efficiency considerations into design processes.
Introduces the fundamental concepts of scheduling in operating systems, covering limited direct execution, protection rings, context switching, and various scheduling policies.
Explores coordination and scheduling in operating systems, covering lost wakeup problems, scheduling algorithms, and coordination primitives like sleep and wakeup.
Explores real-time control systems, determinism, and automation in critical systems, emphasizing the significance of meeting time constraints for safety and efficiency.
