本文针对AUTOSAR的TTCAN协议进行研究,并用Timed CSP(Timed Communication Sequential Processes)形式化语言对其进行建模,通过LTL(linea...
作为车载操作系统,实时性对于AUTOSAR OS的重要性不言而喻,如何保证操作系统中的计算单元在截止时间内完成是极其重要的。而AUTOSAR OS提供的调度表机制是系统中一个重要的任务激活机制。调度表...
从本章节开始我们聚焦到具体的ECU测试上来(以车载TBOX为例),因为相比车辆其他电子零部件,车机系统和Tbox涉及的功能模块和上层应用多一点。当然我们在文档中可能不仅仅只描述Tbox相关的内容。
车辆在运行的过程当中,控制器会监控状态,特定故障发生时控制器会记录这些故障。车辆送4S店进行维修保养时,工作人员会通过智能终端(实际就是诊断仪)来读取这些故障,以配合问题定位,方便维修和保养。这里工作...
基于搜索的测试生成将测试生成问题建模为最优化问题,其核心思想是针对期望达到的测试目标,以相关目标(成本)函数为指引,使用搜索算法在输入域中寻找最优解作为测试用例。
该系列文章主要对智能网联汽车的网络安全攻击及其防御技术进行全面的概述。一方面总结以往研究的发现和结论,并从学术研究和产业发展的角度,指出当前研究所面临的挑战和发展趋势。我们希望我们的工作可以让汽车设计...
随机测试是一种使用随机、相互独立的程序输入来对计算机程序进行测试的黑盒软件测试(在完全忽略程序内部实现细节的情况下进行测试)技术。在处理完随机且独立的程序输入后,程序输出的结果将会和软件规格说明(so...
CAN总线是目前汽车使用最广泛的总线之一,对汽车CAN总线网络安全威胁进行渗透测试、挖掘潜在漏洞至关重要。
本篇讲述UDS中的读和写服务,读写服务几乎是工程师日常使用最为频繁的服务,特别是读服务。
形式化建模将形式化方法应用于建模过程中,它以无歧义的形式化规格说明语言为基础,使用精确定义的形式语言进行系统功能的描述,利用一些已知特性的数学抽象来为目标软件系统的状态特征和行为特征构造模型,从而完成...
已完成
数据加载中