Journal ArticleDOI
Scheduling refinement in abstract RTOS models
TLDR
An abstract RTOS model is introduced, as well as a new approach to refine an unscheduled high-level model to a high- level model with RTOS scheduling, based on SystemC language, which enables the system designer to quickly evaluate different dynamic scheduling policies and make the optimal choice in early design stages.Abstract:
Scheduling decision for real-time embedded software applications has a great impact on system performance and, therefore, is an important issue in RTOS design. Moreover, it is highly desirable to have the system designer able to evaluate and select the right scheduling policy at high abstraction levels, in order to allow faster exploration of the design space. In this paper, we address this problem by introducing an abstract RTOS model, as well as a new approach to refine an unscheduled high-level model to a high-level model with RTOS scheduling. This approach is based on SystemC language and enables the system designer to quickly evaluate different dynamic scheduling policies and make the optimal choice in early design stages. Furthermore, we present a case of study where our model is used to simulate and analyze a telecom system.read more
Citations
More filters
Book ChapterDOI
Accurate RTOS Modeling and Analysis with SystemC
TL;DR: This chapter presents a SystemC RTOS library for abstract yet accurate RTOS simulation, supporting modeling of preemption in the presence of prioritized and nested interrupts, and presents the SystemC library in detail.
Proceedings ArticleDOI
Combination of instruction set simulation and abstract RTOS model execution for fast and accurate target software evaluation
TL;DR: This paper presents a holistic approach to simulate a distributed, embedded system that includes target software, processing units, and abstract RTOS within a virtual prototype environment and shows the theoretical and measured performance gain depending on the RTOS scheduler and task switching.
Proceedings ArticleDOI
Energy-Aware Scheduling of Real-Time Tasks in Wireless Networked Embedded Systems
TL;DR: A single-hop networked real-time embedded system where each node supports both dynamic voltage scaling and dynamic modulation scaling power management techniques to tradeoff time for energy savings is considered.
A Modular SystemC RTOS Model for Embedded Services Exploration
TL;DR: This paper presents the structure of the high level RTOS model, built to rapidly explore and evaluate different operating system services strategies (as scheduling policies) and implementation choices and gives some experimental simulation results of theRTOS model corresponding to the exact behaviour of an embedded RTOS at the first stages of the design.
References
More filters
Operating System Concepts
TL;DR: In this article, Abraham Silberschatz and Peter Galvin discuss key concepts that are applicable to a variety of operating systems and present a large number of examples taken from common operating systems, including WindowsNT and Solaris 2.
Book
Operating System Concepts
TL;DR: This best-selling book provides a solid theoretical foundation for understanding operating systems while giving the teacher and students the flexibility to choose the implementation system.
Book
System Design with SystemC
TL;DR: System Design and SystemC provides a comprehensive introduction to the powerful modeling capabilities of the SystemC language, and also provides a large and valuable set of system level modeling examples and techniques.
Proceedings ArticleDOI
Transaction level modeling: an overview
Lukai Cai,Daniel D. Gajski +1 more
TL;DR: A TLM taxonomy is introduced and the benefits of TLMs' use in the existing design domains, namely modeling, validation, refinement, exploration, and synthesis, is compared.
Book
Computers as Components: Principles of Embedded Computing System Design
TL;DR: This research presents a meta-modelling architecture for embedded systems that automates the very labor-intensive and therefore time-heavy and expensive process of designing and programming embedded systems.