-
ModelCoder状态机中的State逻辑
ModelCoder可以进行状态机的搭建以及仿真,其支持的状态机是通过在Mealy和Moore有限状态机的基础上进行扩展来实现的。本文主要讲解状态机中状态(State)的部分逻辑。
2023-05-15 digiproto
-
浅议嵌入式软件覆盖率测试
随着现代信息技术与软硬件技术的快速发展,嵌入式系统的功能日益强大,嵌入式设备和软件应用领域越来越宽泛。近年来,嵌入式软件代码量呈爆炸式增长,对测试的要求越来越高,尤其是涉及防务、航空、汽车等安全关键领域。
2023-05-15 digiproto
-
SkyEye卫星篇:从无到有的国之“芯”
SkyEye(中文全称天目全数字仿真软件)是迪捷软件核心产品之一,具备仿真硬件的功能和性能要求,目前已经能够仿真多款嵌入式架构芯片,其中包括卫星中常用到SPARC、POWERPC等架构芯片,也包括我国自主研发的芯片——龙芯。
2023-05-15 digiproto
-
如何提高安全关键领域的软件开发质量
对安全关键领域或业务关键的软件来说,如在质量上有任何细微的妥协,都将可能导致严重的经济损失或危及生命安全的后果,该类软件开发的首要重点必须为质量。本文将讨论把软件质量放在首位时的嵌入式软件开发流程优化方法。
2023-05-15 digiproto