Proceedings ArticleDOI
Abstract RTOS modeling for multiprocessor system-on-chip
Jan Madsen,K. Virk,M. Gonzales +2 more
- pp 147-150
TLDR
A modeling framework consisting of basic RTOS service models; scheduling, synchronization, and resource allocation, and a generic task model that is able to model periodic and aperiodic tasks as well as task properties such as varying execution times, offsets, deadlines, and data dependencies is proposed.Abstract:
In this paper, we present a SystemC-based framework to study the effects of running multi-threaded application software on a multiprocessor platform under the control of one or more abstract real-time operating systems (RTOS's). We propose a modeling framework consisting of basic RTOS service models; scheduling, synchronization, and resource allocation, and a generic task model that is able to model periodic and aperiodic tasks as well as task properties such as varying execution times, offsets, deadlines, and data dependencies. A given multiprocessor system is formed by the composition of RTOS service models and the allocation of tasks (the application software) onto RTOS's. We demonstrate the potential of our approach by simulating and analyzing a small multiprocessor system.read more
Citations
More filters
Proceedings ArticleDOI
Abstract RTOS modeling for embedded systems
TL;DR: This paper introduces an abstract RTOS model, and a set of refinement steps that allows refining the abstract model to an implementation model at lower abstraction levels, permitting the designer to model parallel and concurrent behavior of real-time embedded applications at higher abstraction levels.
Proceedings ArticleDOI
System-level HW/SW co-simulation framework for multiprocessor and multithread SoC
TL;DR: In this paper, the authors propose techniques for fast and accurate high-level co-simulation for multithread and multiprocessor SoC design using SystemC for hardware and legacy C with RTOS (real-time operating system) API for software.
Proceedings ArticleDOI
Heterogeneous MP-SoC - the solution to energy-efficient signal processing
Tim Kogel,Heinrich Meyr +1 more
TL;DR: A hand-in-hand approach of signal processing platform architectures and design metholodgy to conquer the complexitv crisis in etnemine MP-SoC developments is envisioned.
Journal ArticleDOI
A blueprint for system-level performance modeling of software-intensive embedded systems
TL;DR: It is shown how the blueprint can be used to model a small yet illustrative example system with the Uppaal tool, and with the Java general-purpose programming language, and reflect on their respective strengths and weaknesses.
Journal ArticleDOI
Scheduling refinement in abstract RTOS models
TL;DR: 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.
References
More filters
Journal ArticleDOI
Priority inheritance protocols: an approach to real-time synchronization
TL;DR: An investigation is conducted of two protocols belonging to the priority inheritance protocols class; the two are called the basic priority inheritance protocol and the priority ceiling protocol, both of which solve the uncontrolled priority inversion problem.
Proceedings ArticleDOI
Operating system based software generation for systems-on-chip
TL;DR: A system-level design environment, aimed at System-on-Chip (SOC) designs, including real-time embedded software, is proposed, observing that embedded software makes SOC designs essentially dynamic, and so a SOC modeling environment must include dynamic behavior.
Journal ArticleDOI
Building models of real-time systems from application software
J. Sifakis,S. Tripakis,S. Yovine +2 more
TL;DR: An instance of the methodology developed in the TAXYS project for the modeling and analysis of real-time systems programmed in the Esterel language is shown, by using pragmas, time constraints characterizing the execution platform and the external environment.
Book ChapterDOI
Modeling Real-Time Systems-Challenges and Work Directions
TL;DR: The evolution of information sciences and technologies is characterized by the extensive integration of embedded components in systems used in various application areas, from telecommunications to automotive, manufacturing, medical applications, e-commerce etc.
Proceedings ArticleDOI
Layered, Multi-Threaded, High-Level Performance Design
TL;DR: This paper evaluates a high-level, layered software-on-hardware performance modeling environment called MESH that captures coarse-grained, interacting system elements and shows that both high and low level models converge on the same architecture when design modifications are classified as good or bad performance impacts.