-
![思考：数字卫星可视化如何实现？]()
思考：数字卫星可视化如何实现？
随着信息化时代的到来，全球范围内的通信和数据传输需求急剧增加，传统的有线通信和数据传输方式已无法满足大范围、远距离的通信和数据传输需求，卫星通信和数据传输技术应运而生。
2023-05-15 digiproto
-
![通过模糊测试寻找车载蓝牙的安全漏洞]()
通过模糊测试寻找车载蓝牙的安全漏洞
车载蓝牙的安全威胁主要来自蓝牙漏洞攻击、蓝牙配对窃听、DoS攻击等，可能导致目标计算机或网络无法提供正常的服务或资源访问。车载蓝牙安全漏洞不容忽视。
2023-05-15 digiproto
-
![ECU标定知多少]()
-
![浅议嵌入式软件覆盖率测试]()
浅议嵌入式软件覆盖率测试
随着现代信息技术与软硬件技术的快速发展，嵌入式系统的功能日益强大，嵌入式设备和软件应用领域越来越宽泛。近年来，嵌入式软件代码量呈爆炸式增长，对测试的要求越来越高，尤其是涉及防务、航空、汽车等安全关键领域。
2023-05-15 digiproto
-
![汽车安全困境：如何破局？]()
-
![浅谈CompCert：经过形式化验证的可信编译器]()
浅谈CompCert：经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中，最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2023-05-15 digiproto
-
![二进制文件符号信息]()
二进制文件符号信息
在日常的开发工作中，程序员经常使用gdb工具来调试二进制编译文件，以定位和解决一些bug。但同时，很少会有人关注二进制文件中的调试信息从何而来，又是怎么保存和解读的呢？
2023-05-15 digiproto
-
![Linux进程间通信]()
Linux进程间通信
Linux环境下，进程地址空间相互独立，每个进程各自有不同的用户地址空间。任何一个进程的全局变量在另一个进程中都看不到，所以进程和进程之间不能相互访问，要交换数据必须通过内核，在内核中开辟一块缓冲区，进程1把数据从用户空间拷到内核缓冲区，进程2再从内核缓冲区把数据读走，内核提供的这种机制称为进程间通信（IPC，Inter-Process Communication）。
2023-05-15 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
