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 条

[31] Objects for modeling embedded systems
Benzakki, J
VHDL INTERNATIONAL USERS FORUM FALL WORKSHOP, PROCEEDINGS, 2000, : 32 - 47
[32] Using a low-cost SoC computer and a commercial RTOS in an embedded systems design course
Hamblen, James O.
IEEE TRANSACTIONS ON EDUCATION, 2008, 51 (03) : 356 - 363
[33] Evaluating reliability against SEE of embedded systems: A comparison of RTOS and bare-metal approaches
De Sio, C.
Azimi, S.
Sterpone, L.
MICROELECTRONICS RELIABILITY, 2023, 150
[34] Using a low-cost SoC computer and a commercial RTOS in an embedded systems design course
Hamblen, James O.
2007 IEEE International Conference on Microelectronic Systems Education, Proceedings, 2007, : 162 - 163
[35] RTOS for DSP based embedded designs - meeting the challenge
Roseel, J
ELECTRONIC ENGINEERING, 2001, 73 (893): : 28 - +
[36] Embedded RTOS:: Performance analysis with high precision counters
Koeker, Kemal
AUTONOMOUS ROBOTS AND AGENTS, 2007, 76 : 171 - 179
[37] A Formalism for the Specification of Operationally Embedded Reactive Systems
Sherry, Lance
INCOSE International Symposium, 1995, 5 (01) : 571 - 578
[38] Software synthesis for complex reactive embedded systems
Cadence Berkeley Lab, Berkeley, United States
Proc IEEE Int Conf Comput Des VLSI Comput Process, (634-639):
[39] MODELING OF REACTIVE DISTILLATION SYSTEMS
GROSSER, JH
DOHERTY, MF
MALONE, MF
INDUSTRIAL & ENGINEERING CHEMISTRY RESEARCH, 1987, 26 (05) : 983 - 989
[40] Development of an Intelligent Assistant Robot based on Embedded RTOS
Dai, Fengzhi
Li, Yuan
You, Guodong
JOURNAL OF ROBOTICS NETWORKING AND ARTIFICIAL LIFE, 2015, 2 (03): : 200 - 204

← 1 2 3 4 5 →