• 观辙丨智能网联汽车网络安全攻击与防御技术概述
    2022-11-18 3908

    该系列文章主要对智能网联汽车的网络安全攻击及其防御技术进行全面的概述。一方面总结以往研究的发现和结论,并从学术研究和产业发展的角度,指出当前研究所面临的挑战和发展趋势。我们希望我们的工作可以让汽车设计...

  • 观模丨浅谈随机测试
    2022-11-18 3804

    随机测试是一种使用随机、相互独立的程序输入来对计算机程序进行测试的黑盒软件测试(在完全忽略程序内部实现细节的情况下进行测试)技术。在处理完随机且独立的程序输入后,程序输出的结果将会和软件规格说明(so...

  • 观辙丨汽车CAN总线渗透测试
    2022-11-08 3552

    CAN总线是目前汽车使用最广泛的总线之一,对汽车CAN总线网络安全威胁进行渗透测试、挖掘潜在漏洞至关重要。

  • 观辙丨车载ECU嵌入式设备的诊断测试 – 读和写
    2022-11-08 3829

    本篇讲述UDS中的读和写服务,读写服务几乎是工程师日常使用最为频繁的服务,特别是读服务。

  • 观模丨形式化建模(一)
    2022-10-21 3216

    形式化建模将形式化方法应用于建模过程中,它以无歧义的形式化规格说明语言为基础,使用精确定义的形式语言进行系统功能的描述,利用一些已知特性的数学抽象来为目标软件系统的状态特征和行为特征构造模型,从而完成...

  • 观擎丨民用飞机机载软件是如何表明适航符合性的
    2022-10-09 5790

    机载计算机在现代飞机各组成部分中占有举足轻重的位置,是现代航空电子系统的基础和核心,其研制、生产和应用水平已成为衡量飞机先进性的重要标志。

  • 联系电话:021-62655886

  • 邮箱地址:marketing@ticpsh.com

  • 联系QQ: 1848394142