Timed RTOS Modeling for Embedded System Design

With processor speed doubling every 18 months, more and more system functionalities are implemented as software (SW) in the design process of embedded systems. Selecting the right RTOS before the SW is developed is very important. In this paper, we present an RTOS modeling tool based on SystemC. It is configurable to support modeling and timed simulation of most popular embedded RTOSs. Timing fidelity is achieved by using delay annotation. The...