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 条

[21] RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model
H. Posadas
J. A. Adamez
E. Villar
F. Blasco
F. Escuder
Design Automation for Embedded Systems, 2005, 10 : 209 - 227
[22] A Hardware-Based Approach for Fault Detection in RTOS-Based Embedded Systems
Silva, D.
Stangherlin, K.
Bolzani, L.
Vargas, F.
2011 16TH IEEE EUROPEAN TEST SYMPOSIUM (ETS), 2011, : 209 - 209
[23] Verification of embedded Reactive Fiffo Systems
Herbreteau, F
Cassez, F
Finkel, A
Roux, O
Sutre, G
LATIN 2002: THEORETICAL INFORMATICS, 2002, 2286 : 400 - 414
[24] OpenComRTOS: An ultra-small network centric embedded RTOS designed using formal modeling
Verhulst, Eric
de Jong, Gjalt
SDL 2007: DESIGN FOR DEPENDABLE SYSTEMS, PROCEEDINGS, 2007, 4745 : 258 - +
[25] RTOS modeling using SystemC
El-Salam, MA
Salem, A
Aly, G
SYSTEM-ON-CHIP FOR REAL-TIME APPLICATIONS, 2003, : 150 - 159
[26] Performance analysis of a RTOS by emulation of an embedded system
Weiss, K
Steckstor, T
Rosenstiel, W
TENTH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEMS PROTOTYPING, PROCEEDINGS, 1999, : 146 - 151
[27] Modeling and Verifying the Kernel of RTOS
Gong, ShengWen
INFORMATION COMPUTING AND APPLICATIONS, PT 1, 2012, 307 : 610 - 617
[28] Design and development of Tiny RTOS for Embedded system
Patil, Bhushan B.
Momin, Bashirahamad F.
PROCEEDINGS OF THE 2018 SECOND INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTING AND CONTROL SYSTEMS (ICICCS), 2018, : 1565 - 1568
[29] Modeling Embedded Systems with SysML
Ouerdi, Noura
Ziane, M'hammed
Azizi, Abdelmalek
Azizi, Mostafa
2012 INTERNATIONAL CONFERENCE ON MULTIMEDIA COMPUTING AND SYSTEMS (ICMCS), 2012, : 905 - 910
[30] Embedded Systems Modeling Language
Krystosik, Artur
DepCos-Relcomex 2006, 2006, : 27 - 34

← 1 2 3 4 5 →