-
数字孪生in卫星:数字化助力强国芯
数字化指将复杂多变的信息通过编码方式转换为计算机可识别的二进制数据,并建立适当的数字化模型进行存储。卫星嵌入式芯片的数字化与数字孪生势在必行,而数字化仿真芯片的出现基本解决了这一难题。
2023-05-15 digiproto
-
通过模糊测试寻找车载蓝牙的安全漏洞
车载蓝牙的安全威胁主要来自蓝牙漏洞攻击、蓝牙配对窃听、DoS攻击等,可能导致目标计算机或网络无法提供正常的服务或资源访问。车载蓝牙安全漏洞不容忽视。
2023-05-15 digiproto
-
ModelCoder状态机中的State逻辑
ModelCoder可以进行状态机的搭建以及仿真,其支持的状态机是通过在Mealy和Moore有限状态机的基础上进行扩展来实现的。本文主要讲解状态机中状态(State)的部分逻辑。
2023-05-15 digiproto
-
Schiaparelli着陆器坠毁事故回溯与思考
2016年10月19日,Schiaparelli火星着陆器尝试登陆火星的过程中,在预定着陆前50秒与地面控制中心失联并意外坠毁,引起较大轰动。点击原文了解事故详情和解决方案。
2023-05-15 digiproto
-
编译器前端概述与可信编译器
Java程序员应该会非常熟悉Spring,在Spring框架中对注解的支持和字节码动态生成都属于编译技术;前端程序员通常会使用Babel这个工具,主要是为了将ES6语法编写的代码转换为做向后兼容的JS语法...
2023-05-15 digiproto
-
二进制文件符号信息
在日常的开发工作中,程序员经常使用gdb工具来调试二进制编译文件,以定位和解决一些bug。但同时,很少会有人关注二进制文件中的调试信息从何而来,又是怎么保存和解读的呢?
2023-05-15 digiproto
-
关于嵌入式可执行程序,你了解多少?
嵌入式系统由硬件系统和软件系统组成,因此为了使整个嵌入式系统运行起来,必须有相应的程序,我们一般所说的程序,实际上就是存储在硬件设备中的一些可执行代码。可执行代码包括嵌入式操作系统和应用软件。
2023-05-15 digiproto