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.
Covers the operating system's role as a referee in managing resources and ensuring security through fault isolation, resource sharing, and communication.
Explores time-determinator model checking, U-Pool scheduling, worst-case execution time analysis, and statistical model checking for cyber-physical systems.
Explores coordination and scheduling in operating systems, covering lost wakeup problems, scheduling algorithms, and coordination primitives like sleep and wakeup.
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.
Discusses scheduling internals, metrics, and policies in computer systems, emphasizing efficiency and the complexities of modern multi-core architectures.
Introduces the fundamental concepts of scheduling in operating systems, covering limited direct execution, protection rings, context switching, and various scheduling policies.
Explores real-time control systems, determinism, and automation in critical systems, emphasizing the significance of meeting time constraints for safety and efficiency.
