• 2023年航天大事件

    2023年是中国首次载人航天飞行任务成功的20周年。今年,航空航天领域取得了哪些新进展?

    2023-12-27 digiproto

  • 精彩回顾-迪捷软件先进装备软件技术研讨会之行圆满收官

    2023年11月24日,为期3个月的先进装备软件高安全、高可靠、智能化验证技术系列研讨会在成都圆满收官。迪捷软件董事长康烁作为研讨会特邀专家,在西安、上海、成都站进行了演讲分享。

    2023-11-30 digiproto

  • 精彩回顾 - 迪捷软件亮相2023飞机航空电子国际论坛

    2023年6月29日,2023(第十二届)飞机航空电子国际论坛在上海市圆满落幕。

    2023-07-03 digiproto

  • 襟翼是什么?——浅述飞控襟翼系统

    什么是飞机襟翼?点开全文,了解襟翼的设计需求与安全保障。

    2023-05-15 digiproto

  • SkyEye助力火箭“一”飞冲天

    火箭是历史悠久的投射武器,早在公元1232年左右,火箭就被宋军用来对抗元军。后来,火箭技术经由阿拉伯人传至欧洲。

    2023-05-15 digiproto

  • SkyEye卫星篇-国的加强“芯”

    近年来,卫星产业发展迅猛,数字化、网络化、智能化、服务化转型升级需求日益增长。为进一步完善星务软件验证工作、获取在轨卫星模拟数据,“数字卫星”成为当下主流趋势。

    2023-05-15 digiproto

  • Schiaparelli着陆器坠毁事故回溯与思考

    2016年10月19日,Schiaparelli火星着陆器尝试登陆火星的过程中,在预定着陆前50秒与地面控制中心失联并意外坠毁,引起较大轰动。点击原文了解事故详情和解决方案。

    2023-05-15 digiproto

  • L2C中Lustre语义的环境定义

    随着计算机技术越来越多地应用于航空航天、核电、高速铁路等安全关键系统(SCS,Safety-Critical System),对计算机技术的安全性要求也越来越高。安全关键系统中的丝毫错误都可能引发巨大的灾难。如何为安全关键系统构造一个基础的安全软件环境是需要面对的首要问题,尤其是对操作系统、编译器等基础软件。

    2023-05-15 digiproto

首页
产品
新闻
联系