-
航电系统的GPU虚拟化仿真
SkyEye,中文全称天目全数字实时仿真软件,是基于可视化建模的硬件行为级仿真平台,支持用户通过拖拽的方式对硬件进行行为级别的仿真和建模,完美解决航电系统虚拟化的难题。
2023-05-15 digiproto
-
数字孪生in卫星:数字化助力强国芯
数字化指将复杂多变的信息通过编码方式转换为计算机可识别的二进制数据,并建立适当的数字化模型进行存储。卫星嵌入式芯片的数字化与数字孪生势在必行,而数字化仿真芯片的出现基本解决了这一难题。
2023-05-15 digiproto
-
ModelCoder状态机中的State逻辑
ModelCoder可以进行状态机的搭建以及仿真,其支持的状态机是通过在Mealy和Moore有限状态机的基础上进行扩展来实现的。本文主要讲解状态机中状态(State)的部分逻辑。
2023-05-15 digiproto
-
浅议嵌入式软件覆盖率测试
随着现代信息技术与软硬件技术的快速发展,嵌入式系统的功能日益强大,嵌入式设备和软件应用领域越来越宽泛。近年来,嵌入式软件代码量呈爆炸式增长,对测试的要求越来越高,尤其是涉及防务、航空、汽车等安全关键领域。
2023-05-15 digiproto
-
如何提高安全关键领域的软件开发质量
对安全关键领域或业务关键的软件来说,如在质量上有任何细微的妥协,都将可能导致严重的经济损失或危及生命安全的后果,该类软件开发的首要重点必须为质量。本文将讨论把软件质量放在首位时的嵌入式软件开发流程优化方法。
2023-05-15 digiproto
-
SkyEye卫星篇-国的加强“芯”
近年来,卫星产业发展迅猛,数字化、网络化、智能化、服务化转型升级需求日益增长。为进一步完善星务软件验证工作、获取在轨卫星模拟数据,“数字卫星”成为当下主流趋势。
2023-05-15 digiproto