RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model-Reference-Cited by-同舟云学术

RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model

Published:2005-12 Issue:4 Volume:10 Page:209-227
ISSN:0929-5585
Container-title:Design Automation for Embedded Systems
language:en
Short-container-title:Des Autom Embed Syst

Author:

Posadas H.,Adamez J. A.,Villar E.,Blasco F.,Escuder F.

Publisher

Springer Science and Business Media LLC

Subject

Hardware and Architecture,Software

Link

http://link.springer.com/content/pdf/10.1007/s10617-006-9725-1.pdf

Reference28 articles.

1. AXLOG, information available in http://www.axlog.fr.

2. Benini, L., D. Bertozzi, D. Bruni, N. Drago, F. Fummi, and M. Ponzino. SystemC cosimulation and Emulation of multiprocessor SoC design. In IEEE Computer, April 2003.

3. Bergeron, J. Writing Testbenches: Functional Verification of HDL Models. Springer, 2003.

4. Bolado, M., H. Posadas, J. Castillo, P. Huerta, C. Sánchez, P. Sánchez, H. Fouren, and F. Blasco. Platform Based on Open-Source Cores for Industrial Applications. In Proceedings of the Design, Automation and Test Conference, IEEE, 2004.

5. ENEA OSE Soft Kernel Environment, available in http://www.ose.com/products.

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modeling Cyber-Physical Production Systems with SystemC-AMS;IEEE Transactions on Computers;2022

2. A Literature Review on Embedded Systems;IEEE Latin America Transactions;2020-02

3. A Modular SystemC RTOS Model for Uncertainty Analysis;Cyber Physical Systems. Model-Based Design;2020

4. Model-Based Design of Secured Power Aware Smart Sensors;Sensor Systems Simulations;2019-06-19

5. Using Gazebo to Generate Use Case Based Stimuli for SystemC;Advances in Intelligent Systems and Computing;2018-11-21