首页> 外文OA文献 >Verification of Embedded Real-Time Systems Using Hardware/Software Cosimulation

【2h】

Verification of Embedded Real-Time Systems Using Hardware/Software Cosimulation

机译：使用硬件/软件协同仿真验证嵌入式实时系统

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Mohammed El Shobaki;
展开▼
作者单位

展开▼
年度 1998
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Embedded Systems Secure Path Verification at the Hardware/Software Interface [J] . Gianpiero Cabodi, Paolo Camurati, Sebastiano F. Finocchiaro, Design & Test of Computers, IEEE . 2017,第5期

机译：硬件/软件接口上的嵌入式系统安全路径验证
2. Applying SMT-based verification to hardware/software partitioning in embedded systems [J] . Trindade Alessandro B., Cordeiro Lucas C. Design automation for embedded systems . 2016,第1期

机译：将基于SMT的验证应用于嵌入式系统中的硬件/软件分区
3. Component-based hardware/software co-verification for building trustworthy embedded systems [J] . Fei Xie, Guowu Yang, Xiaoyu Song The Journal of Systems and Software . 2007,第5期

机译：基于组件的硬件/软件协同验证，用于构建可信赖的嵌入式系统
4. Verification of embedded real-time systems using hardware/software co-simulation [C] . El Shobaki, M. Euromicro Conference, 1998. Proceedings. 24th . 1998

机译：使用硬件/软件协同仿真验证嵌入式实时系统
5. Hardware/software co-design of heterogeneous real-time distributed embedded systems [D] . Dave, Bharat Purushottam 1998

机译：异构实时分布式嵌入式系统的硬件/软件协同设计
6. An Open-Source Hardware and Software System for Acquisition and Real-Time Processing of Electrophysiology during High Field MRI [O] . Patrick L. Purdon, Hernan Millan, Peter L. Fuller, -1

机译：用于高场MRI期间电生理采集和实时处理的开源硬件和软件系统
7. Introducing hardware-in-loop concept to the hardware/software co-design of real-time embedded systems [O] . Dogan Fennibay, Arda Yurdakul, Alper Sen 2010

机译：将硬件在环概念引入到实时嵌入式系统的硬件/软件协同设计中

Verification of Embedded Real-Time Systems Using Hardware/Software Cosimulation

著录项

引文网络

相似文献

相关主题

期刊订阅