OpenComRTOS: an ultra-small network centric embedded RTOS designed using formal modeling

  • Authors:

  • Eric Verhulst;Gjalt De Jong

  • Affiliations:

  • Open License Society, Leuven, Belgium;Open License Society, Leuven, Belgium

  • Venue:
  • SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven trustworthy component with a clean and high performance architecture useable on a wide range of networked embedded systems. The result is a scalable communication system with real-time capabilities. Besides a rigorous formal verification of the kernel algorithms, the resulting architecture has several properties that enhance the safety and real-time properties of the RTOS. The code size in particular is very small and typically 10 times less than a typical equivalent single processor RTOS.