0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

上海控安

文章:128 被阅读:22.9w 粉丝数:8 关注数:0 点赞数:22

为工业安全赋能

广告

基于规则的车载网络入侵检测技术

在过去的几十年中,CAN总线是最广泛被应用的车载网络现场总线。但随着汽车电子产品的功能逐渐丰富,以及....
的头像 上海控安 发表于 02-01 11:07 917次阅读

联锁系统原理浅析

作者 |刘艳青 上海控安安全测评中心安全测评部测试经理 版块 |鉴源论坛 · 观通 01联锁系统的硬....
的头像 上海控安 发表于 02-01 10:46 6902次阅读

车载ECU嵌入式软件的测试入门

整车所有电子零配件均工作在一定电源状态下,没有供电的话零部件将无法工作。关于零部件在何种状态下应对进....
的头像 上海控安 发表于 01-30 17:54 1081次阅读
车载ECU嵌入式软件的测试入门

浅谈测试的充分性问题

由于无法穷举被测软件完整的输入空间,各种软件动态测试方法本质上都是围绕”如何构造测试集合以使其展现的....
的头像 上海控安 发表于 01-30 17:47 1741次阅读
浅谈测试的充分性问题

汽车电子架构和CAN网络基础

本系列文章从汽车电子架构和网络历史开始,逐步往汽车电子零部件的嵌入式软件,零部件的通用基础功能各网络....
的头像 上海控安 发表于 01-30 17:23 1365次阅读
汽车电子架构和CAN网络基础

一文浅谈软件测试

从狭义的角度说,软件测试是软件开发中的一个流程,即通过把程序实际运行起来并试图找出其中可能存在的错误....
的头像 上海控安 发表于 01-30 17:07 960次阅读
一文浅谈软件测试

汽车全生命周期网络安全风险管理解析

本文将重点对ISO/SAE 21434标准中,汽车全生命周期网络安全风险管理的各阶段中活动展开介绍,....
的头像 上海控安 发表于 01-30 16:58 973次阅读
汽车全生命周期网络安全风险管理解析

形式化方法基本原理初探

形式化方法是基于严格的数学基础,通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和....
的头像 上海控安 发表于 01-30 16:42 1333次阅读
形式化方法基本原理初探

基于机器学习的汽车CAN总线异常检测方法

目前机器学习是研究车辆网络入侵检测技术的热门方向,通过引入机器学习算法来识别车载总线上的网络报文,可....
的头像 上海控安 发表于 01-17 10:49 1370次阅读

轨交系统安全性设计

本文将从轨交系统的安全性设计的必要性、控制设计、需求分析以及实现等方面进行阐述。 1. 安全性....
的头像 上海控安 发表于 01-16 16:55 928次阅读
轨交系统安全性设计

鉴源论坛 · 观模丨基于AUTOSAR的TTCAN通信协议的形式化建模与分析

本文针对AUTOSAR的TTCAN协议进行研究,并用Timed CSP(Timed Communic....
的头像 上海控安 发表于 01-04 16:12 1263次阅读
鉴源论坛 · 观模丨基于AUTOSAR的TTCAN通信协议的形式化建模与分析

车载入侵检测与防御系统介绍

本篇文章中,我们将对汽车网络安全风险的应对策略,特别是车载入侵检测与防御系统展开详细的介绍。
的头像 上海控安 发表于 12-30 13:46 4287次阅读
车载入侵检测与防御系统介绍

基于AUTOSAR的TTCAN通信协议的形式化建模与分析

本文针对AUTOSAR的TTCAN协议进行研究,并用Timed CSP(Timed Communic....
的头像 上海控安 发表于 12-30 13:23 2516次阅读
基于AUTOSAR的TTCAN通信协议的形式化建模与分析

车载TBOX嵌入式设备软件的功能测试

从本章节开始我们聚焦到具体的ECU测试上来(以车载TBOX为例),因为相比车辆其他电子零部件,车机系....
的头像 上海控安 发表于 12-16 14:14 1642次阅读
车载TBOX嵌入式设备软件的功能测试

AUTOSAR调度表可调度性的形式化分析

作为车载操作系统,实时性对于AUTOSAR OS的重要性不言而喻,如何保证操作系统中的计算单元在截止....
的头像 上海控安 发表于 12-16 14:01 1607次阅读
AUTOSAR调度表可调度性的形式化分析

车载ECU嵌入式设备的诊断测试–DTC

车辆在运行的过程当中,控制器会监控状态,特定故障发生时控制器会记录这些故障。车辆送4S店进行维修保养....
的头像 上海控安 发表于 12-02 17:20 1657次阅读
车载ECU嵌入式设备的诊断测试–DTC

鉴源论坛 · 观模丨基于搜索的测试生成

基于搜索的测试生成将测试生成问题建模为最优化问题,其核心思想是针对期望达到的测试目标,以相关目标(成....
的头像 上海控安 发表于 12-02 16:25 1037次阅读
鉴源论坛 · 观模丨基于搜索的测试生成

智能网联汽车网络安全攻击与防御技术概述

在汽车电动化、网联化、智能化和共享化等新四化的发展趋势下,智能网联汽车(Intelligent Co....
的头像 上海控安 发表于 11-18 11:37 1539次阅读
智能网联汽车网络安全攻击与防御技术概述

鉴源论坛 · 观模丨浅谈随机测试

随机测试是一种使用随机、相互独立的程序输入来对计算机程序进行测试的黑盒软件测试(在完全忽略程序内部实....
的头像 上海控安 发表于 11-18 10:14 1668次阅读
鉴源论坛 · 观模丨浅谈随机测试

汽车CAN总线渗透测试

随着汽车智能化、网联化的高速发展,对于汽车通讯网络的安全威胁越来越多,而CAN总线是目前汽车使用最广....
的头像 上海控安 发表于 11-09 13:53 2401次阅读
汽车CAN总线渗透测试

鉴源论坛 · 观模丨形式化验证——以操作系统任务调度算法验证为案例

形式化方法为软件开发过程提供了一种较为透彻的思维方式,该方式可以用于工程化系统设计,并且可以很好地帮....
的头像 上海控安 发表于 11-09 11:25 705次阅读
鉴源论坛 · 观模丨形式化验证——以操作系统任务调度算法验证为案例

车载ECU嵌入式设备的诊断测试–读和写

本篇讲述UDS中的读和写服务,读写服务几乎是工程师日常使用最为频繁的服务,特别是读服务。
的头像 上海控安 发表于 10-28 15:43 1047次阅读
车载ECU嵌入式设备的诊断测试–读和写

车载ECU嵌入式设备的诊断测试 - 会话和安全控制

本篇将会对UDS中最常用的服务进行详细介绍,首先对会话控制请求服务$10和安全接入请求服务$27进行....
的头像 上海控安 发表于 10-09 17:03 1135次阅读
车载ECU嵌入式设备的诊断测试 - 会话和安全控制

民用飞机机载软件是如何表明适航符合性的

机载计算机在现代飞机各组成部分中占有举足轻重的位置,是现代航空电子系统的基础和核心,其研制、生产和应....
的头像 上海控安 发表于 10-09 16:52 2334次阅读
民用飞机机载软件是如何表明适航符合性的

浅谈民用飞机机载系统的安全性

民航飞机的安全通过以下四种关键措施得以保证:一)严密的功能定义;二)精确的架构设计;三)严格的过程控....
的头像 上海控安 发表于 09-28 11:33 2408次阅读
浅谈民用飞机机载系统的安全性

车载ECU嵌入式设备的诊断测试 - 服务

本章节将从诊断服务测试展开细说测试相关知识,主要分享上层的相关应用测试。
的头像 上海控安 发表于 09-28 10:06 1877次阅读
车载ECU嵌入式设备的诊断测试 - 服务

TARA分析方法论

TARA是威胁分析与风险评估(Threat Analysis and Risk Assessment....
的头像 上海控安 发表于 09-14 10:44 1763次阅读
TARA分析方法论

轨道交通信号基础设备概述

本文将从信号基础设备方面进一步展开讲述,具体分为以下几个部分:1.信号机(指引列车前进停止的信号);....
的头像 上海控安 发表于 09-14 10:23 12012次阅读
轨道交通信号基础设备概述

µC/OS内核的形式化验证技术

操作系统作为软件系统的核心,其安全性与可靠性是构造高可信软件最为关键的一步。
的头像 上海控安 发表于 08-18 16:49 1469次阅读
µC/OS内核的形式化验证技术

基于信息安全HSM固件的ECU间安全通讯

本文主要描述了基于ST高性能高安全性PowerPC结合Autosar SecOC完成的硬件加密的安全....
的头像 上海控安 发表于 08-18 16:29 1752次阅读
基于信息安全HSM固件的ECU间安全通讯