随着汽车智能化、网联化的高速发展，对于汽车通讯网络的安全威胁越来越多，而CAN总线是目前汽车使用最广....
![的头像]()
上海控安 发表于 11-09 13:53
•3214次阅读
形式化方法为软件开发过程提供了一种较为透彻的思维方式，该方式可以用于工程化系统设计，并且可以很好地帮....
![的头像]()
上海控安 发表于 11-09 11:25
•2099次阅读
本篇讲述UDS中的读和写服务，读写服务几乎是工程师日常使用最为频繁的服务，特别是读服务。
![的头像]()
上海控安 发表于 10-28 15:43
•1790次阅读
本篇将会对UDS中最常用的服务进行详细介绍，首先对会话控制请求服务$10和安全接入请求服务$27进行....
![的头像]()
上海控安 发表于 10-09 17:03
•1849次阅读
机载计算机在现代飞机各组成部分中占有举足轻重的位置，是现代航空电子系统的基础和核心，其研制、生产和应....
![的头像]()
上海控安 发表于 10-09 16:52
•3483次阅读
民航飞机的安全通过以下四种关键措施得以保证：一）严密的功能定义；二）精确的架构设计；三）严格的过程控....
![的头像]()
上海控安 发表于 09-28 11:33
•3303次阅读
本章节将从诊断服务测试展开细说测试相关知识，主要分享上层的相关应用测试。
![的头像]()
上海控安 发表于 09-28 10:06
•2550次阅读
TARA是威胁分析与风险评估（Threat Analysis and Risk Assessment....
![的头像]()
上海控安 发表于 09-14 10:44
•2900次阅读
本文将从信号基础设备方面进一步展开讲述，具体分为以下几个部分：1.信号机（指引列车前进停止的信号）；....
![的头像]()
上海控安 发表于 09-14 10:23
•14638次阅读
操作系统作为软件系统的核心，其安全性与可靠性是构造高可信软件最为关键的一步。
![的头像]()
上海控安 发表于 08-18 16:49
•2094次阅读
本文主要描述了基于ST高性能高安全性PowerPC结合Autosar SecOC完成的硬件加密的安全....
![的头像]()
上海控安 发表于 08-18 16:29
•2366次阅读
SmartRocket Scanner专注于通过软件生命周期开源安全与合规分析管理平台识别并规避相关....
![的头像]()
上海控安 发表于 08-18 09:41
•2095次阅读
SmartRocket PeneCAN渗透测试工具的出现可以弥补国内在车载总线渗透测试领域上的空白。
![的头像]()
上海控安 发表于 08-11 10:11
•2594次阅读
传统的联锁系统开发、设计和测试，只能从功能上保证其逻辑的正确性，而无法保证其安全需求完全得到满足。S....
![的头像]()
上海控安 发表于 08-09 16:37
•2334次阅读
SmartRocketModelerc产品可实现国外垄断工具的国产化替代，解决需求建模、验证领域的“....
![的头像]()
上海控安 发表于 08-08 17:44
•1800次阅读
SmartRocket TestGrid嵌入式软件智能化测试工具支持国军标、MISRA 等静态分析、....
![的头像]()
上海控安 发表于 08-02 14:53
•2822次阅读
01 什么是“安全”？ 当前在汽车领域，关于安全，我们时常可以听到这几个词：功能安全，预期功能安全，....
![的头像]()
上海控安 发表于 06-10 10:52
•2657次阅读
系列简介：形式化方法在计算机和软件工程学科中作为一个学科分支，正在越来越多地进入工业界诸多实践领域。....
![的头像]()
上海控安 发表于 06-10 10:49
•2137次阅读
12月14日，由上海市科委指导，上海市科技创业中心主办的“2021上海高新技术成果转化百佳表彰会”在....
![的头像]()
上海控安 发表于 12-22 09:19
•7262次阅读
力争推动行业探索新前沿、实现新突破、取得新成效
![的头像]()
上海控安 发表于 11-24 10:18
•2515次阅读
白皮书聚焦汽车供应链的网络安全，旨在依托国内汽车网络安全生态圈的高水平能力，把脉行业痛点，推动汽车供....
![的头像]()
上海控安 发表于 11-12 15:32
•3051次阅读
11月5日，由上海控安主办的工业科技生态创新论坛第一期顺利举办。本次论坛主题为“携硬核科技 创工业生....
![的头像]()
上海控安 发表于 11-09 10:30
•2422次阅读
11月1日上午，云南省昭通市工信局局长吴刚、副局长朱天峰等领导一行莅临上海控安调研指导工作。上海控安....
![的头像]()
上海控安 发表于 11-03 11:18
•2403次阅读
就长三角国家技术创新中心总体布局以及与工控平台的业务合作进行交流。
![的头像]()
上海控安 发表于 10-27 09:54
•2097次阅读
上海控安自研的智能嵌入式单元测试用例设计工具软件（项目编号：202001003）成功从众多高新技术成....
![的头像]()
上海控安 发表于 10-26 09:06
•7722次阅读
上海控安“智能工控安全平台系统”成为该目录中智能工控安全攻关方向唯一入选成果。
![的头像]()
上海控安 发表于 10-20 14:24
•1856次阅读
为了推进上海市通信和互联网行业网络安全产业的持续发展，促进产业链内企业加强协作，提升全行业网络安全整体意识，1
![的头像]()
上海控安 发表于 10-14 10:43
•1576次阅读
标注：本文来自本实验室杜兴华的研究成果。 2 构建车载以太网数字孪生模型客户端 2.1 AddEth....
![的头像]()
上海控安 发表于 09-28 15:19
•2284次阅读
格炬工业互联网安全服务平台是工业互联网产业的信息服务平台，主要围绕工业控制系统功能安全和信息安全，推....
![的头像]()
上海控安 发表于 09-14 19:08
•2587次阅读
9月9日，普陀科投党委下属普科恒睿公司党支部与上海控安党支部开展党建共建活动，共同深入党史学习教育，....
![的头像]()
上海控安 发表于 09-14 18:31
•2017次阅读
SmartRocketScanner软件成分分析工具
