You are here

Introducing Preemptive Scheduling in Abstract RTOS Models using Result Oriented Modeling

With the increasing SW content of modern SoC designs, modeling and development of Hardware Dependent Software (HDS) become critical. Previous work addressed this by introducing abstract RTOS modeling, which exposes dynamic scheduling effects early in the system design flow. However, such models insufficiently capture preemption. In particular, the accuracy of preemption depends on the granularity of the timing annotation. For an accurately modeled interrupt response time, very fine-grained timing annotation is necessary, which contradicts the RTOS abstraction idea and is detrimental to simulation performance. In this paper, we eliminate the granularity dependency by applying the Result Oriented Modeling (ROM) technique previously used only for communication modeling. Our ROM approach allows precise preemptive scheduling, while retaining all the benefits of abstract RTOS modeling. Our experimental results demonstrate tremendous improvements. While the traditional model simulated an interrupt response time with a severe inaccuracy (12x longer in average and 40x longer for 96th percentile), our ROM- based model was accurate within 8% (average and 50th percentile) using identical timing annotations.

Appeared in:
In Proceedings of Design Automation and Test in Europe (DATE)
Presentation Place:
Munich, Germany
Related Research:  Embedded Software Development in a System Level Design Context

Theme by Danetsoft and Danang Probo Sayekti inspired by Maksimer