Modeling RTOS for Reactive Embedded Systems

A large number of embedded systems that can be classified as reactive rely on software implementation of functionality on computer platform with a real-time operating system (RTOS). Many of those systems do not require full RTOS, but a reduced functionality that can be implemented in software, hardware or their combination. Modeling of such systems requires RTOS functional model at different levels of abstraction that may be suitable for hardware/software partitioning and implementation. This paper presents a methodology of modeling the RTOS functionality as a center of entire reactive embedded system model and illustrates its usage on an example