TY -的A2 Rabelo Luis Carlos AU - da Silva,安东尼奥盟——Parra Pablo盟——马球,奥斯卡r . AU -桑切斯,塞巴斯蒂安PY - 2014 da - 2014/09/23 TI - SystemC / TLM2接口的运行时仪表容错需求验证软件Cosimulation SP - 105051年六世- 2014 AB -介绍SystemC事务级别的设计造型包装库,可用于系统属性的断言,协议遵从性或故障注入。图书馆使用c++虚表钩子作为一个动态二进制插装技术内联包装在TLM2事务路径中。这种技术可以应用在精化阶段和需要源代码的修改和重新编译的顶级SystemC模块。该技术已成功应用于车载启动软件的鲁棒性验证太阳能飞机的仪表控制单元的高能粒子探测器。SN - 1687 - 5591 UR - https://doi.org/10.1155/2014/105051 - 10.1155 / 2014/105051摩根富林明建模和仿真工程PB - Hindawi出版公司KW - ER