Modeling RTOS for Reactive Embedded Systems

Authors:
Wei-Tsun Sun;Zoran Salcic
Affiliations:
University of Auckland, New Zealand;University of Auckland, New Zealand
Venue:
VLSID '07 Proceedings of the 20th International Conference on VLSI Design held jointly with 6th International Conference: Embedded Systems
Year:
2007

Citing 0
Cited 3

Combination of instruction set simulation and abstract RTOS model execution for fast and accurate target software evaluation

CODES+ISSS '08 Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis
GALS-Designer: A design framework for GALS software systems

ACM Transactions on Design Automation of Electronic Systems (TODAES)
Parallel programming on a soft-core based multi-core system

ICA3PP'10 Proceedings of the 10th international conference on Algorithms and Architectures for Parallel Processing - Volume Part II

Quantified Score

Hi-index	0.01

Visualization

Abstract

A large number of embedded systems that can be classified as reactive rely on software implementation of functionality on computer platform with a real-time operating system (RTOS). Many of those systems do not require full RTOS, but a reduced functionality that can be implemented in software, hardware or their combination. Modeling of such systems requires RTOS functional model at different levels of abstraction that may be suitable for hardware/software partitioning and implementation. This paper presents a methodology of modeling the RTOS functionality as a center of entire reactive embedded system model and illustrates its usage on an example.