-
精彩回顾-迪捷软件先进装备软件技术研讨会之行圆满收官
2023年11月24日,为期3个月的先进装备软件高安全、高可靠、智能化验证技术系列研讨会在成都圆满收官。迪捷软件董事长康烁作为研讨会特邀专家,在西安、上海、成都站进行了演讲分享。
2023-11-30 digiproto
-
软件定义卫星:数字卫星实践
随着巨型低轨卫星星座、卫星互联网等计划的推进,近年来全球卫星产业迅速发展,在轨卫星呈现规模化、网络化以及智能化趋势。大规模卫星系统为飞机、船舶、车辆等提供了各种各样的天基服务,对国防、科研、生产生活具有重要意义。
2023-11-17 digiproto
-
基于仿真的飞机ICD工具测试
机载电子系统仿真在近几十年的中国航空工业的发展中发挥了重要作用,将仿真与ICD相结合,便能够通过验证消息数据一致性来完成现实中成本高昂的子系统测试。
2023-11-03 digiproto
-
深入浅出MC/DC
随着计算机行业的发展,嵌入式系统在通讯、网络、工控、医疗、电子等领域都发挥着越来越重要的作用。尤其是在一些安全关键领域,如航空航天等,软件一旦出现故障,可能会产生灾难性的后果。这就要求在软件投入使用前,必须对其进行严格的测试、确认和验证。
2023-05-15 digiproto
-
虚拟平台中的“有意”/“无意”故障注入
众所周知,在硬件上直接执行故障注入既复杂又昂贵,且难以精确控制注入时间与位置,容易对目标系统硬件造成损伤。虚拟平台可有效规避此类问题。
2023-05-15 digiproto