10.6. Summary
We have presented an abstract modeling framework based on SystemC that supports the modeling of multiprocessor-based RTOS. The aim of the framework is to provide the system designer with a user-friendly and efficient modeling and simulation environment in which one can experiment with different RTOS policies and study the consequences of local decisions on the global system behavior.
An RTOS is modeled as a combination of three interacting modules defining basic RTOS services: scheduling, synchronization, and resource allocation. Although the three services are interdependent, the separation of concerns allows the system designer to mix different design implementations easily in order to develop an efficient dedicated RTOS. The ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access