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 ...

Get Multiprocessor Systems-on-Chips now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.