-
技术交流 - 漫谈嵌入式实时操作系统
软件产品作为航天型号的重要组成部分,直接影响航天任务成败,需要利用RTOS作为基础平台在机制上予以保障,完成任务实时调度、资源优化分配、设备有效管理、故障快速捕获与处理,从而降低上层应用软件复杂性,使之能专注于核心功能,提高软件产品质量,缩短研制周期,并提高系统的确定性、可靠性和灵巧性。
2025-08-25 digiproto
-
浅谈CompCert:经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中,最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2025-06-09 digiproto
-
从概念表达到安全验证:智能驾驶功能迎来系统性规范
2025年以来,围绕智能驾驶功能的争议不断升级。多起因辅助驾驶误用、滥用甚至宣传误导所引发的交通事故,引发公众舆论广泛关注,也使这一领域的监管问题被再次摆上了台面。
2025-05-09 digiproto
-
再赴苍穹!神舟二十号发射取得圆满成功,开启中国航天新篇章
2025年4月24日17时17分,伴随着一声轰鸣,长征二号F遥二十火箭在酒泉卫星发射中心腾空而起,神舟二十号载人飞船顺利发射升空。飞船随后准确进入预定轨道,标志着此次载人飞行任务取得圆满成功。
2025-04-25 digiproto
-
把目光转向新质生产力:高端装备的数字样机技术
在全球化与数字化的大背景下,科技创新已成为重塑生产力结构的核心要素。习近平总书记在2023年12月召开的中央经济工作会议上指出:“要以科技创新推动产业创新,特别是以颠覆性技术和前沿技术催生新产业、新模式、新动能,发展新质生产力。”
2025-03-31 digiproto