【摘 要】
：
软件故障已成为航天系统失败的重要因素.源代码级程序错误仍是航天嵌入式软件中最突出的问题之一,数组越界、算术溢出、除以零、指针错误、数据竞争等问题仍经常发生.静态分
【机 构】
：
国防科技大学计算机学院,国防科技大学空天科学学院,北京跟踪与通信技术研究所
【基金项目】
：
国家自然科学基金资助项目(61872445)
论文部分内容阅读
软件故障已成为航天系统失败的重要因素.源代码级程序错误仍是航天嵌入式软件中最突出的问题之一,数组越界、算术溢出、除以零、指针错误、数据竞争等问题仍经常发生.静态分析能够在编译时通过分析源代码来推断程序运行时性质,是提高航天嵌入式软件安全性与可靠性的一种重要技术.首先将分析航天嵌入式软件的代码特征及常见错误.在此基础上,介绍了适合于航天嵌入式软件错误检测的静态分析技术,包括抽象解释、符号执行、数据竞争检测等.然后,介绍了国内近年来在面向航天嵌入式软件的静态分析技术与工具方面的研究进展.最后,对未来发展方向做
其他文献
目的:探讨重症早期肺康复在重症监护室(ICU)获得性肌无力(ICU-AW)预防中的应用效果。方法:将2018年11月—2019年4月收治的50例病人作为对照组,将2019年5月—2019年10月收治的
目的:探讨宫颈癌化疗患者中应用延续护理对自我效能及并发症的影响如何。方法:病例为接受化疗的宫颈癌患者,收集病 例的时间为2019年3月-2020年3月,一共纳入100例。通过硬币
目的分析血清和肽素与肌钙蛋白I(cTnI)水平对老年心肌梗死病人早期诊断及分期诊断的价值。方法将2017年1月—2019年1月我院收治的106例老年心肌梗死病人作为心肌梗死组,另选
目的探讨既往有阻塞性睡眠呼吸障碍病人发生急性ST段抬高型心肌梗死(STEMI)时,超敏C反应蛋白(hs-CRP)及N末端B型利钠肽原(NT-proBNP)、经皮冠状动脉介入治疗(PCI)术后校正的
目的探讨冠心病病人血清脂滴蛋白5(perilipin 5)、抗凋亡多肽(HN)和血清视黄醇结合蛋白4(RBP-4)表达水平与冠状动脉病变程度及预后的相关性。方法选取2016年6月—2018年6月在
美国法院早期以商业方法属于数学演绎方法为由,将商业方法排除在专利保护之外.受此影响,商业方法在美国一直被认为不应授予专利.后来法院提出如果抽象的商业方法与运用这种方
空间飞行器在太空飞行过程中需要满足多任务、多工作模式以及大范围机动的需求,其控制系统在大范围机动飞行条件下存在大量的外界干扰和内部参数不确定,同时飞行器的自适应过
目的:探讨共享决策干预对重症监护室(ICU)转出病人家属的迁移应激水平及治疗决策满意度的影响。方法:选取某三级甲等医院适合准则的ICU病人家属110例作为研究对象,采用随机数
抗日战争时期,迁都重庆后的国民政府的民事审判代表了抗战期间整个国民政府民事审判的运行状况。在战火弥漫的特殊历史时期,国民政府力主司法的功能不仅是为战争服务,更重要
目的用循证医学的方法评估牙周病与心血管事件的关系。方法按照系统评价的要求全面检索国内外数据库,并采用Meta分析专用软件Stata 11对入选的17篇关于牙周病与心血管事件关