功能安全
登陆
注册
  • 首页
  • 知识
  • 资讯
  • 工具
  • 学堂
  • 活动
  • 合作
首页> 知识
《2021年中国智能驾驶行业研究报告》免费下载

《2021年中国智能驾驶行业研究报告》免费下载

2022-07-04
303
  • 鉴源论坛
  • 经验分享
  • 行业报告
  • 互动问答
观辙丨汽车全生命周期网络安全风险管理解析

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

2022-06-20
1139

说到汽车网络安全工程,就一定会关联到一份标准,即《ISO/SAE 21434:2021 - 道路车辆网络安全工程》(Road Vehicles - Cybersecurity Engineering)...

观模丨形式化方法基本原理初探

观模丨形式化方法基本原理初探

2022-06-20
1336

形式化方法是基于严格的数学基础,通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和验证,是用于保证计算机软硬件系统正确性以及安全性的一种重要方法。

观辙丨汽车安全工程之“安全”概念辨析

观辙丨汽车安全工程之“安全”概念辨析

2022-06-01
1151

当前在汽车领域,关于安全,我们时常可以听到这几个词:功能安全,预期功能安全,信息安全,网络安全等。那这些概念到底是什么意思?他们之间的区别又是什么呢?

观模丨形式化方法的缘起

观模丨形式化方法的缘起

2022-06-01
1275

形式化方法在计算机和软件工程学科中作为一个学科分支,正在越来越多地进入工业界诸多实践领域。以DO-333适航标准为代表的工业标准,亦对软件开发过程明确提出了采用形式化方法的要求。

  • 推荐排行
  • 《2021年中国智能驾驶行业研究报告》免费下载
    《2021年中国智能驾驶行业研究报告》免费下载
    2022-07-04
    303
  • 《百度Apollo智能交通白皮书ACE智能交通引擎2.0》免费下载
    《百度Apollo智能交通白皮书ACE智能交通引擎2.0》免费下载
    2022-07-04
    402
  • 2022版《汽车标准法规目录》免费下载
    2022版《汽车标准法规目录》免费下载
    2022-07-04
    305
  • 《2022智能网联汽车信息安全研究报告》免费下载
    《2022智能网联汽车信息安全研究报告》免费下载
    2022-07-04
    305
  • CP AUTOSAR OS介绍
    CP AUTOSAR OS介绍
    2022-06-29
    335
  • 热门标签
  • 汽车电子
  • 自动驾驶
  • 功能安全
  • 电气机械
  • 信息安全
  • 预期功能安全
  • 汽车软件
  • 轨道交通
  • 水务
  • 网络安全
  • 自动驾驶
  • 航空航天
  • 智能网联汽车
  • 可信软件

已完成

数据加载中

  • 验证码登录
  • 账号登录
欢迎!登录您的账户
获取验证码
立即登录

没有账号,立即注册>

欢迎!登录您的账户
立即登录

没有账号,立即注册>忘记密码

  • 用户注册
欢迎注册
获取验证码
提交
我同意《用户使用协议》

已有账号,去登录

请选择你感兴趣的标签
  • 可信软件
  • 智能网联汽车
  • 自动驾驶
  • 网络安全
  • 汽车软件
  • 预期功能安全
  • 信息安全
  • 功能安全
  • 水务
  • 航空航天
  • 汽车电子
  • 电气机械
  • 轨道交通
  • 自动驾驶
  • 忘记密码
获取验证码
提交

返回登录

  • 51fusa安全社区
    地址:上海市普陀区云岭西路600弄6号楼7层
    邮编:200333
    电话:021-62655886
    邮箱:marketing@ticpsh.com
  • 合作伙伴

    上海控安 启明星辰知白讲堂 SHCERT 数字工业知识中心 中国汽研北京分院 上汽培训中心 上海软件中心 中国赛宝实验室 SAE International ATC 富士通南大 TUV NORD SGS 焉知汽车 普华基础软件 机械工业出版社 工业得到 博勘咨询 BSI英标 上汽零束开发者平台 亚远景 AutoCS

沪ICP备18019345号-2 © 2019 上海工业控制安全创新科技有限公司 保留所有权利