从狭义的角度说，软件测试是软件开发中的一个流程，即通过把程序实际运行起来并试图找出其中可能存在的错误....
![的头像]()
上海控安 发表于 01-30 17:07
•852次阅读
本文将重点对ISO/SAE 21434标准中，汽车全生命周期网络安全风险管理的各阶段中活动展开介绍，....
![的头像]()
上海控安 发表于 01-30 16:58
•849次阅读
形式化方法是基于严格的数学基础，通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和....
![的头像]()
上海控安 发表于 01-30 16:42
•1173次阅读
目前机器学习是研究车辆网络入侵检测威廉希尔官方网站
的热门方向，通过引入机器学习算法来识别车载总线上的网络报文，可....
![的头像]()
上海控安 发表于 01-17 10:49
•1159次阅读
本文将从轨交系统的安全性设计的必要性、控制设计、需求分析以及实现等方面进行阐述。
1. 安全性....
![的头像]()
上海控安 发表于 01-16 16:55
•839次阅读
本文针对AUTOSAR的TTCAN协议进行研究，并用Timed CSP（Timed Communic....
![的头像]()
上海控安 发表于 01-04 16:12
•1139次阅读
本篇文章中，我们将对汽车网络安全风险的应对策略，特别是车载入侵检测与防御系统展开详细的介绍。
![的头像]()
上海控安 发表于 12-30 13:46
•4097次阅读
本文针对AUTOSAR的TTCAN协议进行研究，并用Timed CSP（Timed Communic....
![的头像]()
上海控安 发表于 12-30 13:23
•2448次阅读
从本章节开始我们聚焦到具体的ECU测试上来（以车载TBOX为例），因为相比车辆其他电子零部件，车机系....
![的头像]()
上海控安 发表于 12-16 14:14
•1495次阅读
作为车载操作系统，实时性对于AUTOSAR OS的重要性不言而喻，如何保证操作系统中的计算单元在截止....
![的头像]()
上海控安 发表于 12-16 14:01
•1480次阅读
车辆在运行的过程当中，控制器会监控状态，特定故障发生时控制器会记录这些故障。车辆送4S店进行维修保养....
![的头像]()
上海控安 发表于 12-02 17:20
•1540次阅读
基于搜索的测试生成将测试生成问题建模为最优化问题，其核心思想是针对期望达到的测试目标，以相关目标(成....
![的头像]()
上海控安 发表于 12-02 16:25
•954次阅读
在汽车电动化、网联化、智能化和共享化等新四化的发展趋势下，智能网联汽车（Intelligent Co....
![的头像]()
上海控安 发表于 11-18 11:37
•1360次阅读
随机测试是一种使用随机、相互独立的程序输入来对计算机程序进行测试的黑盒软件测试（在完全忽略程序内部实....
![的头像]()
上海控安 发表于 11-18 10:14
•1490次阅读
随着汽车智能化、网联化的高速发展，对于汽车通讯网络的安全威胁越来越多，而CAN总线是目前汽车使用最广....
![的头像]()
上海控安 发表于 11-09 13:53
•2271次阅读
形式化方法为软件开发过程提供了一种较为透彻的思维方式，该方式可以用于工程化系统设计，并且可以很好地帮....
![的头像]()
上海控安 发表于 11-09 11:25
•457次阅读
本篇讲述UDS中的读和写服务，读写服务几乎是工程师日常使用最为频繁的服务，特别是读服务。
![的头像]()
上海控安 发表于 10-28 15:43
•918次阅读
本篇将会对UDS中最常用的服务进行详细介绍，首先对会话控制请求服务$10和安全接入请求服务$27进行....
![的头像]()
上海控安 发表于 10-09 17:03
•1039次阅读
机载计算机在现代飞机各组成部分中占有举足轻重的位置，是现代航空电子系统的基础和核心，其研制、生产和应....
![的头像]()
上海控安 发表于 10-09 16:52
•1975次阅读
民航飞机的安全通过以下四种关键措施得以保证：一）严密的功能定义；二）精确的架构设计；三）严格的过程控....
![的头像]()
上海控安 发表于 09-28 11:33
•2206次阅读
本章节将从诊断服务测试展开细说测试相关知识，主要分享上层的相关应用测试。
![的头像]()
上海控安 发表于 09-28 10:06
•1737次阅读
TARA是威胁分析与风险评估（Threat Analysis and Risk Assessment....
![的头像]()
上海控安 发表于 09-14 10:44
•1589次阅读
本文将从信号基础设备方面进一步展开讲述，具体分为以下几个部分：1.信号机（指引列车前进停止的信号）；....
![的头像]()
上海控安 发表于 09-14 10:23
•11401次阅读
操作系统作为软件系统的核心，其安全性与可靠性是构造高可信软件最为关键的一步。
![的头像]()
上海控安 发表于 08-18 16:49
•1337次阅读
本文主要描述了基于ST高性能高安全性PowerPC结合Autosar SecOC完成的硬件加密的安全....
![的头像]()
上海控安 发表于 08-18 16:29
•1558次阅读
SmartRocket Scanner专注于通过软件生命周期开源安全与合规分析管理平台识别并规避相关....
![的头像]()
上海控安 发表于 08-18 09:41
•1197次阅读
SmartRocket PeneCAN渗透测试工具的出现可以弥补国内在车载总线渗透测试领域上的空白。
![的头像]()
上海控安 发表于 08-11 10:11
•1671次阅读
传统的联锁系统开发、设计和测试，只能从功能上保证其逻辑的正确性，而无法保证其安全需求完全得到满足。S....
![的头像]()
上海控安 发表于 08-09 16:37
•1443次阅读
SmartRocketModelerc产品可实现国外垄断工具的国产化替代，解决需求建模、验证领域的“....
![的头像]()
上海控安 发表于 08-08 17:44
•1069次阅读
SmartRocket TestGrid嵌入式软件智能化测试工具支持国军标、MISRA 等静态分析、....
![的头像]()
上海控安 发表于 08-02 14:53
•1614次阅读
基于机器学习的汽车CAN总线异常检测方法
工商网监