Introducing Preemptive Scheduling in Abstract RTOS Models using Result Oriented Modeling

  title={Introducing Preemptive Scheduling in Abstract RTOS Models using Result Oriented Modeling},
  author={Gunar Schirner and Rainer D{\"o}mer},
  journal={2008 Design, Automation and Test in Europe},
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 [6], 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… CONTINUE READING
Highly Cited
This paper has 42 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 33 extracted citations

Functional Test Environment for Time-Triggered Control Systems in Complex MPSoCs Using GALI

2018 21st Euromicro Conference on Digital System Design (DSD) • 2018
View 7 Excerpts
Highly Influenced

Assertion-based verification of RTOS properties

2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) • 2010
View 4 Excerpts
Highly Influenced

A Mixed Timing System-Level Embedded Software Modelling and Simulation Approach

2009 International Conference on Embedded Software and Systems • 2009
View 5 Excerpts
Highly Influenced

A real-time application design methodology for MPSoCs

2009 Design, Automation & Test in Europe Conference & Exhibition • 2009
View 3 Excerpts
Highly Influenced

SysRT: A modular multiprocessor RTOS simulator for early design space exploration

2017 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) • 2017
View 1 Excerpt

The next generation of virtual prototyping: Ultra-fast yet accurate simulation of HW/SW systems

2015 Design, Automation & Test in Europe Conference & Exhibition (DATE) • 2015
View 1 Excerpt


Publications referenced by this paper.
Showing 1-5 of 5 references

SWARM 0.44 Documentation

M. Dales
Department of Computer Science, • 2000
View 6 Excerpts
Highly Influenced

SpecC: Specification Language and Design Methodology

D. Gajski, J. Zhu, R. Dömer, A. Gerstlauer, S. Zhao
Kluwer Academic Publishers, • 2000
View 8 Excerpts
Highly Influenced

MicroC/OS-II: The Real-Time Kernel

J. J. Labrosse
CMP Books, • 2002
View 3 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…