Modeling RTOS for reactive embedded systems

被引：2

作者：

Sun, Wei-Tsun ^{[1
]}

Salcic, Zoran ^{[1
]}

机构：

[1] Univ Auckland, Dept Elect & Comp Engn, Auckland 1, New Zealand

来源：

20TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS: TECHNOLOGY CHALLENGES IN THE NANOELECTRONICS ERA | 2007年

关键词：

D O I：

10.1109/VLSID.2007.111

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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/sofrware 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

引用

页码：534 / +

页数：2

共 50 条

[1] RTOS-Aware Modeling of Embedded Hardware/Software Systems
Mueller, Matthias
Gerlach, Joachim
Rosenstiel, Wolfgang
2010 IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN, 2010, : 179 - 186
[2] A debugger RTOS for embedded systems
Akgul, T
Kuacharoen, P
Mooney, VJ
Madisetti, VK
PROCEEDINGS OF THE 27TH EUROMICRO CONFERENCE - 2001: A NET ODYSSEY, 2001, : 264 - 269
[3] Abstract RTOS modelling for embedded systems
Hessel, F
da Rosa, VM
Reis, IM
Planner, R
Marcon, UAM
Susin, AA
15TH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2004, : 210 - 216
[4] Timed RTOS modeling for embedded system design
He, ZT
Mok, A
Peng, C
RTAS 2005: 11TH IEEE REAL TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 2005, : 448 - 457
[5] Selection of RTOS for an Efficient Design of Embedded Systems
Reddy, S. Ramanarayana
INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2006, 6 (06): : 29 - 37
[6] Embedded RTOS
Bergen, EH
ELECTRONIC DESIGN, 1997, 45 (03) : 178 - 178
[7] An RTOS-based design and validation methodology for embedded systems
Tomiyama, H
Chikada, S
Honda, S
Takada, H
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2005, E88D (09): : 2205 - 2208
[8] Introduction to the TOPPERS project - Open source RTOS for embedded systems
Takada, H
ISORC 2003: SIXTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2003, : 44 - 45
[9] An RTOS-based approach to design and validation of embedded systems
Tomiyama, H
Chikada, SI
Honda, S
Takada, H
2005 IEEE VLSI-TSA International Symposium on VLSI Design, Automation & Test (VLSI-TSA-DAT), Proceedings of Technical Papers, 2005, : 185 - 187
[10] A hardware/software cosimulator with RTOS supports for multiprocessor embedded systems
Furukawa, Takashi
Honda, Shinya
Tomiyama, Hiroyuki
Takada, Hiroaki
EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2007, 4523 : 283 - +

← 1 2 3 4 5 →