功能安全
登陆
注册
  • 首页
  • 知识
  • 资讯
  • 工具
  • 学堂
  • 活动
  • 合作
首页> 知识
探秘程序的“预言术”:抽象解释与符号执行

探秘程序的“预言术”:抽象解释与符号执行

2026-05-19
2224
  • 鉴源实验室
  • 经验分享
  • 行业报告
 观擎丨民机机载软件的配置管理

观擎丨民机机载软件的配置管理

2023-12-01
5741

配置管理(Configuration Management)在航空领域经常又称为构型管理,是现代复杂产品研制的核心技术。与很多传统观念中配置管理是对文档和版本的简单管理不同,现代复杂产品由于其内部组成...

观辙丨DoIP协议网络安全攻击

观辙丨DoIP协议网络安全攻击

2023-11-17
4753

DoIP协议的重要性在于它使汽车制造商能够通过互联网连接到汽车的电子控制单元(ECU),实时监测和远程维修车辆,为车主提供更加高效和方便的服务。然而,随着DoIP的普及,网络安全威胁也在日益增多。

观模丨软件单元测试真的有必要吗?(下)

观模丨软件单元测试真的有必要吗?(下)

2023-11-17
5733

本篇将深入讨论单元测试过程中,如何在保质保量完成测试任务的同时,缩减时间成本、提高测试效率,并分享目前行业内的实践经验以及相关自动化测试工具。

观辙丨自动驾驶传感器攻击研究

观辙丨自动驾驶传感器攻击研究

2023-11-03
10282

对于现今的自动驾驶汽车来说,由于传感器的增加和感知网络等软件的存在,使得自动驾驶汽车在信息安全上相较于其它汽车更为脆弱。自动驾驶汽车信息安全的脆弱性来源于两个方面:传感器的脆弱性和神经网络的脆弱性。

观模丨软件单元测试真的有必要吗?(上)

观模丨软件单元测试真的有必要吗?(上)

2023-11-03
4945

本文着重探讨单元测试的重要性及其正面临的困境,并介绍功能安全标准中罗列的单元测试方法。

观辙丨AUTOSAR E2E:车载通信的安全保障

观辙丨AUTOSAR E2E:车载通信的安全保障

2023-10-27
7395

随着汽车行业逐步走向电气化、智能化,车载系统的软件和硬件复杂度不断上升。如何确保这些复杂系统中的数据通讯安全和可靠,已成为业界关注的焦点。E2E(End-to-End)通讯常常指的是一个信息从发送端到...

观擎丨基于模型的方法在民机机载软件中的应用

观擎丨基于模型的方法在民机机载软件中的应用

2023-10-27
5404

机载软件适航标准对软件研制过程、生命周期数据以及符合性证据等都提出了明确的要求。然而,这些过程要求都是建立在欧美80~90年代软件工程实践的基础上,以文本需求+代码为主要的开发方式。随着近些年模型技术...

观辙 | AUTOSAR SecOC:保障汽车通信的安全

观辙 | AUTOSAR SecOC:保障汽车通信的安全

2023-10-09
6189

在现代汽车行业中,随着电子控制单元(ECUs)的普及以及车与车之间通信的不断增加,确保通信安全变得尤为关键。AUTOSAR (Automotive Open System Architecture) ...

观模丨基于软件性质的自动化测试技术

观模丨基于软件性质的自动化测试技术

2023-10-09
4989

在软件开发的生命周期中,测试是至关重要的一环。为了确保软件产品的质量,开发团队需要进行全面的测试,以发现和修复软件中潜在的缺陷和问题。传统的人工测试虽然有效,但却耗时耗力,且成本较高。为了提高测试效率...

观模丨基于应用程序编程接口(API)的自动化测试(下)

观模丨基于应用程序编程接口(API)的自动化测试(下)

2023-09-20
6007

本文将深入剖析单元测试、模糊测试等当前主流的自动化API测试形式与技术。

《 上一页 1 2 3 4 56 7 8 ...11 12 下一页 》
  • 推荐排行
  • 测试设计方法-正交实验法
    测试设计方法-正交实验法
    2024-10-12
    4401
  • 测试设计方法-因果图
    测试设计方法-因果图
    2024-10-12
    4056
  • 观辙丨ISO 26262中测试用例的得出方法-边界值分析
    观辙丨ISO 26262中测试用例的得出方法-边界值分析
    2024-07-30
    5513
  • 观辙丨ISO 26262中测试用例的得出方法-等价类的生成和分析
    观辙丨ISO 26262中测试用例的得出方法-等价类的生成和分析
    2024-07-30
    5169
  • 观通丨轨交软件安全性设计及实现
    观通丨轨交软件安全性设计及实现
    2024-07-30
    3850
  • 热门标签
  • 汽车电子
  • 自动驾驶
  • 功能安全
  • 电气机械
  • 信息安全
  • 汽车软件
  • 预期功能安全
  • 网络安全
  • 轨道交通
  • 水务
  • 航空航天
  • 智能网联汽车
  • 自动驾驶
  • 可信软件

已完成

数据加载中

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

没有账号,立即注册>

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

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

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

已有账号,去登录

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

返回登录

  • 51fusa安全社区
    地址:上海市普陀区同普路1030弄1号楼3层
    邮编:200333
    电话:021-62655886
    邮箱:marketing@ticpsh.com
  • 合作伙伴

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

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