-
通过模糊测试寻找车载蓝牙的安全漏洞
车载蓝牙的安全威胁主要来自蓝牙漏洞攻击、蓝牙配对窃听、DoS攻击等,可能导致目标计算机或网络无法提供正常的服务或资源访问。车载蓝牙安全漏洞不容忽视。
2023-05-15 digiproto
-
ModelCoder状态机中的State逻辑
ModelCoder可以进行状态机的搭建以及仿真,其支持的状态机是通过在Mealy和Moore有限状态机的基础上进行扩展来实现的。本文主要讲解状态机中状态(State)的部分逻辑。
2023-05-15 digiproto
-
浅议嵌入式软件覆盖率测试
随着现代信息技术与软硬件技术的快速发展,嵌入式系统的功能日益强大,嵌入式设备和软件应用领域越来越宽泛。近年来,嵌入式软件代码量呈爆炸式增长,对测试的要求越来越高,尤其是涉及防务、航空、汽车等安全关键领域。
2023-05-15 digiproto
-
SkyEye卫星篇:从无到有的国之“芯”
SkyEye(中文全称天目全数字仿真软件)是迪捷软件核心产品之一,具备仿真硬件的功能和性能要求,目前已经能够仿真多款嵌入式架构芯片,其中包括卫星中常用到SPARC、POWERPC等架构芯片,也包括我国自主研发的芯片——龙芯。
2023-05-15 digiproto