车辆在运行的过程当中，控制器会监控状态，特定故障发生时控制器会记录这些故障。车辆送4S店进行维修保养....
![的头像]()
上海控安 发表于 12-02 17:20
•1174次阅读
基于搜索的测试生成将测试生成问题建模为最优化问题，其核心思想是针对期望达到的测试目标，以相关目标(成....
![的头像]()
上海控安 发表于 12-02 16:25
•667次阅读
在汽车电动化、网联化、智能化和共享化等新四化的发展趋势下，智能网联汽车（Intelligent Co....
![的头像]()
上海控安 发表于 11-18 11:37
•1072次阅读
随机测试是一种使用随机、相互独立的程序输入来对计算机程序进行测试的黑盒软件测试（在完全忽略程序内部实....
![的头像]()
上海控安 发表于 11-18 10:14
•944次阅读
随着汽车智能化、网联化的高速发展，对于汽车通讯网络的安全威胁越来越多，而CAN总线是目前汽车使用最广....
![的头像]()
上海控安 发表于 11-09 13:53
•1989次阅读
形式化方法为软件开发过程提供了一种较为透彻的思维方式，该方式可以用于工程化系统设计，并且可以很好地帮....
![的头像]()
上海控安 发表于 11-09 11:25
•170次阅读
本篇讲述UDS中的读和写服务，读写服务几乎是工程师日常使用最为频繁的服务，特别是读服务。
![的头像]()
上海控安 发表于 10-28 15:43
•570次阅读
本篇将会对UDS中最常用的服务进行详细介绍，首先对会话控制请求服务$10和安全接入请求服务$27进行....
![的头像]()
上海控安 发表于 10-09 17:03
•811次阅读
机载计算机在现代飞机各组成部分中占有举足轻重的位置，是现代航空电子系统的基础和核心，其研制、生产和应....
![的头像]()
上海控安 发表于 10-09 16:52
•1239次阅读
民航飞机的安全通过以下四种关键措施得以保证：一）严密的功能定义；二）精确的架构设计；三）严格的过程控....
![的头像]()
上海控安 发表于 09-28 11:33
•1561次阅读
本章节将从诊断服务测试展开细说测试相关知识，主要分享上层的相关应用测试。
![的头像]()
上海控安 发表于 09-28 10:06
•1308次阅读
TARA是威胁分析与风险评估（Threat Analysis and Risk Assessment....
![的头像]()
上海控安 发表于 09-14 10:44
•1154次阅读
本文将从信号基础设备方面进一步展开讲述，具体分为以下几个部分：1.信号机（指引列车前进停止的信号）；....
![的头像]()
上海控安 发表于 09-14 10:23
•9785次阅读
操作系统作为软件系统的核心，其安全性与可靠性是构造高可信软件最为关键的一步。
![的头像]()
上海控安 发表于 08-18 16:49
•1060次阅读
本文主要描述了基于ST高性能高安全性PowerPC结合Autosar SecOC完成的硬件加密的安全....
![的头像]()
上海控安 发表于 08-18 16:29
•1222次阅读
SmartRocket Scanner专注于通过软件生命周期开源安全与合规分析管理平台识别并规避相关....
![的头像]()
上海控安 发表于 08-18 09:41
•920次阅读
SmartRocket PeneCAN渗透测试工具的出现可以弥补国内在车载总线渗透测试领域上的空白。
![的头像]()
上海控安 发表于 08-11 10:11
•1380次阅读
传统的联锁系统开发、设计和测试，只能从功能上保证其逻辑的正确性，而无法保证其安全需求完全得到满足。S....
![的头像]()
上海控安 发表于 08-09 16:37
•1206次阅读
SmartRocketModelerc产品可实现国外垄断工具的国产化替代，解决需求建模、验证领域的“....
![的头像]()
上海控安 发表于 08-08 17:44
•894次阅读
SmartRocket TestGrid嵌入式软件智能化测试工具支持国军标、MISRA 等静态分析、....
![的头像]()
上海控安 发表于 08-02 14:53
•1252次阅读
01 什么是“安全”？ 当前在汽车领域，关于安全，我们时常可以听到这几个词：功能安全，预期功能安全，....
![的头像]()
上海控安 发表于 06-10 10:52
•972次阅读
系列简介：形式化方法在计算机和软件工程学科中作为一个学科分支，正在越来越多地进入工业界诸多实践领域。....
![的头像]()
上海控安 发表于 06-10 10:49
•939次阅读
12月14日，由上海市科委指导，上海市科技创业中心主办的“2021上海高新技术成果转化百佳表彰会”在....
![的头像]()
上海控安 发表于 12-22 09:19
•6479次阅读
力争推动行业探索新前沿、实现新突破、取得新成效
![的头像]()
上海控安 发表于 11-24 10:18
•1688次阅读
白皮书聚焦汽车供应链的网络安全，旨在依托国内汽车网络安全生态圈的高水平能力，把脉行业痛点，推动汽车供....
![的头像]()
上海控安 发表于 11-12 15:32
•1917次阅读
11月5日，由上海控安主办的工业科技生态创新论坛第一期顺利举办。本次论坛主题为“携硬核科技 创工业生....
![的头像]()
上海控安 发表于 11-09 10:30
•1663次阅读
11月1日上午，云南省昭通市工信局局长吴刚、副局长朱天峰等领导一行莅临上海控安调研指导工作。上海控安....
![的头像]()
上海控安 发表于 11-03 11:18
•1475次阅读
就长三角国家技术创新中心总体布局以及与工控平台的业务合作进行交流。
![的头像]()
上海控安 发表于 10-27 09:54
•1331次阅读
上海控安自研的智能嵌入式单元测试用例设计工具软件（项目编号：202001003）成功从众多高新技术成....
![的头像]()
上海控安 发表于 10-26 09:06
•6711次阅读
上海控安“智能工控安全平台系统”成为该目录中智能工控安全攻关方向唯一入选成果。
![的头像]()
上海控安 发表于 10-20 14:24
•1434次阅读
SmartRocketScanner软件成分分析工具
工商网监