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…]

Articles

Securing Control Over the IIoT: RTOS Comes to the Rescue

Securing Control Over the IIoT: RTOS Comes to the Rescue The increasing connectivity of intelligent industrial devices presents a tremendous opportunity to transform industry. The opportunity, however, brings potential new vulnerability.  Building ICS cyber security [More…]