Articles

Safety-critical RTOS demands Verified Correctness

Safety-critical RTOS demands Verified Correctness The real-time operating systems used in safety-critical applications must offer more than fast, deterministic real-time response. They must offer time and space partitioning facilities that ensure that critical tasks run [More…]