SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Proceedings -Design, Automation and Test in Europe, DATE '05

Volumn I, Issue , 2005, Pages 554-559

RTK-spec TRON: A simulation model of an ITRON based RTOS kernel in SystemC

(4) AbdElsalam Hassan, M a Sakanushi, Keishi a Takeuchi, Yoshinori a Imai, Masaharu a

a OSAKA UNIVERSITY (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (STANDARDS); COMPUTER SIMULATION; MATHEMATICAL MODELS; REAL TIME SYSTEMS; SEMANTICS; SYSTEMS ANALYSIS;

ITRON OS SPECIFICATION STANDARDS; REAL TIME ASPECTS; RTOS SIMULATION MODELS; SYSTEMC;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33646911402 PISSN: 15301591 EISSN: None Source Type: Conference Proceeding
DOI: 10.1109/DATE.2005.263 Document Type: Conference Paper

Times cited : (31)

References (12)

1
- 33747253845
- SpecC. Available: http://www.specc.org/

2
- 33747205643
- SystemC. Available: http://www.systemc.org/

3
- 0033725409
- Operating system based software generation for systems-on-chip
- U.S.A.
- D. Desmet, D. Verkest, and H. De Man. "Operating system based software generation for systems-on-chip," in proc. of DAC, U.S.A., pp. 396-401, 2000.
- (2000) Proc. of DAC , pp. 396-401
- Desmet, D.¹ Verkest, D.² De Man, H.³

4
- 16244376200
- RTOS centric hardware/software co-simulator
- Sweden
- S. Honda, T. Wakabayashi, H. Tomiyama, and H. Takada. "RTOS centric hardware/software co-simulator," in proc. of CODES+ISSS'04, Sweden, pp. 158-163, 2004.
- (2004) Proc. of CODES+ISSS'04 , pp. 158-163
- Honda, S.¹ Wakabayashi, T.² Tomiyama, H.³ Takada, H.⁴

5
- 2442615978
- Fast and accurate timed execution of high level embedded software using HW/SW interface simulation model
- Japan
- A. Bouchhima, S. Yoo, and A. Jerraya. "Fast and Accurate Timed Execution of High Level Embedded Software using HW/SW Interface Simulation Model," in proc. of ASP-DAC'04, Japan, pp. 469-474, 2004.
- (2004) Proc. of ASP-DAC'04 , pp. 469-474
- Bouchhima, A.¹ Yoo, S.² Jerraya, A.³

6
- 84893781814
- RTOS modeling for system-level design
- Germany
- A. Gerstlauer, H. Yu, and D. Gajski. "RTOS Modeling for System-Level Design," in proc. of DATE'03, Germany, pp. 130-135, 2003.
- (2003) Proc. of DATE'03 , pp. 130-135
- Gerstlauer, A.¹ Yu, H.² Gajski, D.³

7
- 3042565256
- A generic RTOS model for real-time systems simulation with SystemC
- France
- R. Le Moigne, O. Pasquier, and J-P. Calvez. "A Generic RTOS Model for real-time Systems Simulation with SystemC," in proc. of DATE'04, France, pp. 82-87, 2004.
- (2004) Proc. of DATE'04 , pp. 82-87
- Le Moigne, R.¹ Pasquier, O.² Calvez, J.-P.³

8
- 3042683142
- Towards a higher level of abstraction in HW/SW co-simulation
- Japan
- M. AbdElSalam Hassan, S. Kobayashi, K. Sakanushi, Y. Takeuchi, and M. Imai. "Towards A Higher Level of Abstraction in HW/SW Co-Simulation," in proc. of ICDCS'04, Japan, pp. 824-830, 2004.
- (2004) Proc. of ICDCS'04 , pp. 824-830
- AbdElsalam Hassan, M.¹ Kobayashi, S.² Sakanushi, K.³ Takeuchi, Y.⁴ Imai, M.⁵

9
- 33646947193
- TRON Association
- K. Sakamura and H. Takada. "μ-ITRON version 4.0 Specification," TRON Association.
- μ-ITRON Version 4.0 Specification
- Sakamura, K.¹ Takada, H.²

10
- 33847725673
- Ed. T-Engine Forum.
- K. Sakamura, "T-Kernel Standard Handbook," Ed. T-Engine Forum. Available: http://www.t-engine.org/
- T-kernel Standard Handbook
- Sakamura, K.¹

11
- 0003418449
- Ed. NJ: Prentice Hall
- J. L. Peterson. "Petri Net Theory and the Modeling of Systems," Ed. NJ: Prentice Hall. 1981.
- (1981) Petri Net Theory and the Modeling of Systems
- Peterson, J.L.¹

12
- 33646936761
- A methodology for virtual hardware/software integration
- S. Leef. "A Methodology for Virtual Hardware/Software Integration," Mentor Graphics Technical Report. Available: http://www.mentor.com/seamless/
- Mentor Graphics Technical Report
- Leef, S.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.