论文部分内容阅读
随着嵌入式系统在生活中不断普及，对相关产品的质量性、可靠性等要求也越来越高，特别是在汽车电控系统领域，功能安全已成为衡量产品的一项重要内容。汽车电控系统属于嵌入式系统的一种，本文以嵌入式软件测试为出发点，着重对采用新型开发模式，基于模型设计的汽车电控系统嵌入式软件层面进行测试技术研究。
基于模型设计的嵌入式软件测试技术研究
【摘 要】
：
随着嵌入式系统在生活中不断普及，对相关产品的质量性、可靠性等要求也越来越高，特别是在汽车电控系统领域，功能安全已成为衡量产品的一项重要内容。汽车电控系统属于嵌入式系统
【机 构】
：
中国汽车技术研究中心
【出 处】
：
电子世界
【发表日期】
：
2018年9期
其他文献
本文从COSO《内部控制——整合框架》（2013）提出的内部控制构成要素入手，分别从控制环境、风险评估、控制活动、信息与沟通以及监督等五个方面，对高校采购业务进行分析，力图从完善
国有股减持是当前国有企业改革实践和理论研究的重点、热点问题之一.本文旨在对国有股减持的基本问题作一系统分析,并提出个人一些见解,以期有助于国有股减持工作的开展.
<正> 知识经济是世界经济发展的潮流,尚处于工业化时期的中国应如何为发展知识经济创造条件,本文对此加以探讨。 一、发展知识经济的必要条件 知识经济不同于传统的农业经济
目的探讨糖尿病控制不良的原因及护理对策。方法采取自制问卷的方法对50例糖尿病患者出院后治疗情况进行跟踪随访，并对出现的问题进行针对性教育。结果糖尿病控制不良的常见原
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
目的观察疏肝健脾中药配合化学药物动脉灌注治疗中晚期原发性肝癌的临床疗效。方法将120例中晚期原发性肝癌患者随机分为2组，各60例。2组均予化学药物动脉灌注，3～4周灌注1次，每组
介绍了软件故障树分析方法在液压泵故障诊断专家系统程序可靠性设计中的应用。通过运用软件故障树分析方法，程序设计者可以很快找出软件设计中的薄弱环节即故障可能发生的环节
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
目的探讨心内科住院患者肺部感染的病原菌分布及危险因素,为预防心内科住院患者肺部感染提供临床依据。方法分析医院心内科2010年6月-2012年6月1 308例住院患者肺部感染的发