An ideal API for RTOS modeling at the system abstraction level

In system level design, specification languages, especially system level design languages (SLDL), are used to build high level models to allow fast design space exploration, and to assist designers in exploring alternatives early in the design process. Current SLDL languages lack built-in support for modeling RTOS at the system level, and specific RTOS implementation can not be used directly in models at the system level. In this paper, we define and provide the primitives for an ideal API for a generic RTOS model to be used on top of existing SLDL. The model is based on the key features provided by a typical RTOS, and is generic such that it can be used with any SLDL. Using the API defined in this paper, we describe the refinement of the RTOS model so that the model can be integrated into the system level co-design process.