【摘 要】
：
AUTOSAR是汽车工业中普遍采用的一个开放化和标准化的汽车软件体系。将AUTOSAR设计软件模型部署到目标硬件平台前，需对该模型进行仿真验证。基于此，设计一个用于软件设计模型验
【基金项目】
：
国家自然科学基金资助面上项目(61070002);国家“863”计划基金资助项目(2011AA010104)
论文部分内容阅读
AUTOSAR是汽车工业中普遍采用的一个开放化和标准化的汽车软件体系。将AUTOSAR设计软件模型部署到目标硬件平台前，需对该模型进行仿真验证。基于此，设计一个用于软件设计模型验证的仿真工具，采用虚拟功能总线追踪机制来收集仿真过程中的各种信息。仿真器在模型源码基础上进行仿真验证，结果表明，与传统的仿真工具相比，该仿真器能够最大化保证与模型在目标机上运行时的一致性，提高系统开发效率。
其他文献
近年来,在互联网上出现了日益广泛的经济贸易活动,作为真正现代意义上的电子商务应运而生,并迅速形成一场波及全球的商务创新潮。电子商务和网络贸易的兴起,是国际贸易领域里
目前,为我国房地产业提供"血液"的房地产金融体系还非常不完善。从资产证券化的原理和机制入手,分析开发大型房地产项目过程中采用资产证券化融资模式的可行性,依据目前国内
大营子蚀变岩型金矿床是冀北地区新发现的一种金矿类型。矿体赋存于太古代角闪质变质岩系，特别是变质闪长岩体周边及内侧，受ＮＥ、ＮＮＥ向剪切破碎带控制，常在其傍侧断裂形成羽状矿脉。金
<正>美国俄克拉何马州立大学(OSU)生物基产品和能源中心的研究人员展示了一种使用天然气和生物质制液体燃料新技术的概念验证。该技术使用生物质如柳枝稷和东部的重油与甲烷
<正>从现代物理学来认识,动量守恒定律是自然界普遍适用的基本规律之一,它比牛顿运动定律的适用范围广泛得多。牛顿运动定律适用于解决物体的低速运动问题,动量守恒定律不但
<正> 在工业国的人群中,生殖器疱疹病毒感染是最常见的生殖器溃疡的病因。生殖器疱疹的临床表现与其它感染性和非感染性生殖器溃疡有重叠,这常要求临床医生去寻找生殖器溃疡
Adalimumab-ada是由山德士公司研发的阿达木单抗生物类似药,其原研药商品名为修美乐。2018年10月30日,美国食品药品管理局批准本品治疗类风湿性关节炎、4岁及以上患者的幼年
本文评述了近年来国内外从低品位铜矿浸出液中采用铁屑置换法、溶剂萃取一电积法、液膜分离一电积法等工艺回收铜的技术进展。
目的观察消栓饮对兔创伤性肢体深静脉血栓(Deep Venous Thrombosis,DVT)静脉血管内皮细胞生长因子(Vascular Endothelial Growth Factor,VEGF)及受体VEGFR-1表达的影响。方法
核心提示:文莱达鲁萨兰国的意思就是“生活在和平之邦的海上贸易者”，或许就是应验了其意，文莱成为东盟国家为数不多的发达国家。文莱虽是小国，但凭借丰富的油气储量让其成为东