-
![浅议嵌入式软件测试]()
-
![Fuzz测试：提升自动驾驶安全性]()
Fuzz测试：提升自动驾驶安全性
纵观近百年来汽车制造业的发展历程，产业跨进的每一步背后都有着技术创新作为支撑。汽车技术创新对世界经济、社会发展、人们的生产生活方式产生了极其深远的影响。1908年，福特公司正式推出T型车，背后是其首创的汽车生产流水线；1981年，汽车第一次具备了车载导航系统——“Electro Gyrocator”，Electro Gyrocator（电子陀螺仪导航器）由日本本田和阿尔派公司合作推出，装配在第二代
2023-05-15 digiproto
-
![思考：数字卫星可视化如何实现？]()
思考：数字卫星可视化如何实现？
随着信息化时代的到来，全球范围内的通信和数据传输需求急剧增加，传统的有线通信和数据传输方式已无法满足大范围、远距离的通信和数据传输需求，卫星通信和数据传输技术应运而生。
2023-05-15 digiproto
-
![通过模糊测试寻找车载蓝牙的安全漏洞]()
通过模糊测试寻找车载蓝牙的安全漏洞
车载蓝牙的安全威胁主要来自蓝牙漏洞攻击、蓝牙配对窃听、DoS攻击等，可能导致目标计算机或网络无法提供正常的服务或资源访问。车载蓝牙安全漏洞不容忽视。
2023-05-15 digiproto
-
![SkyEye助力火箭“一”飞冲天]()
-
![ARM发家史：无名者的逆袭]()
-
![SkyEye卫星篇：从无到有的国之“芯”]()
SkyEye卫星篇：从无到有的国之“芯”
SkyEye（中文全称天目全数字仿真软件）是迪捷软件核心产品之一，具备仿真硬件的功能和性能要求，目前已经能够仿真多款嵌入式架构芯片，其中包括卫星中常用到SPARC、POWERPC等架构芯片，也包括我国自主研发的芯片——龙芯。
2023-05-15 digiproto
-
![浅谈CompCert：经过形式化验证的可信编译器]()
浅谈CompCert：经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中，最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2023-05-15 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
