RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC

TL;DR

This paper introduces a SystemC-based simulation model of an RTOS kernel aligned with the μ-ITRON standard, emphasizing real-time aspects for system-level design and analysis.

Contribution

It develops new modeling constructs in SystemC to accurately simulate real-time features of an ITRON-based RTOS kernel.

Findings

Successful modeling of RTOS real-time aspects in SystemC

Enables system-level simulation of μ-ITRON RTOS kernels

Provides a foundation for RTOS design verification

Abstract

This paper presents the methodology and the modeling constructs we have developed to capture the real time aspects of RTOS simulation models in a System Level Design Language (SLDL) like SystemC. We describe these constructs and show how they are used to build a simulation model of an RTOS kernel targeting the $\mu$-ITRON OS specification standard.