-
浅议嵌入式软件覆盖率测试
随着现代信息技术与软硬件技术的快速发展,嵌入式系统的功能日益强大,嵌入式设备和软件应用领域越来越宽泛。近年来,嵌入式软件代码量呈爆炸式增长,对测试的要求越来越高,尤其是涉及防务、航空、汽车等安全关键领域。
2023-05-15 digiproto
-
SkyEye卫星篇:从无到有的国之“芯”
SkyEye(中文全称天目全数字仿真软件)是迪捷软件核心产品之一,具备仿真硬件的功能和性能要求,目前已经能够仿真多款嵌入式架构芯片,其中包括卫星中常用到SPARC、POWERPC等架构芯片,也包括我国自主研发的芯片——龙芯。
2023-05-15 digiproto
-
如何提高安全关键领域的软件开发质量
对安全关键领域或业务关键的软件来说,如在质量上有任何细微的妥协,都将可能导致严重的经济损失或危及生命安全的后果,该类软件开发的首要重点必须为质量。本文将讨论把软件质量放在首位时的嵌入式软件开发流程优化方法。
2023-05-15 digiproto
-
SkyEye卫星篇-国的加强“芯”
近年来,卫星产业发展迅猛,数字化、网络化、智能化、服务化转型升级需求日益增长。为进一步完善星务软件验证工作、获取在轨卫星模拟数据,“数字卫星”成为当下主流趋势。
2023-05-15 digiproto
-
Schiaparelli着陆器坠毁事故回溯与思考
2016年10月19日,Schiaparelli火星着陆器尝试登陆火星的过程中,在预定着陆前50秒与地面控制中心失联并意外坠毁,引起较大轰动。点击原文了解事故详情和解决方案。
2023-05-15 digiproto
-
二进制文件符号信息
在日常的开发工作中,程序员经常使用gdb工具来调试二进制编译文件,以定位和解决一些bug。但同时,很少会有人关注二进制文件中的调试信息从何而来,又是怎么保存和解读的呢?
2023-05-15 digiproto
-
关于嵌入式可执行程序,你了解多少?
嵌入式系统由硬件系统和软件系统组成,因此为了使整个嵌入式系统运行起来,必须有相应的程序,我们一般所说的程序,实际上就是存储在硬件设备中的一些可执行代码。可执行代码包括嵌入式操作系统和应用软件。
2023-05-15 digiproto