【摘 要】
:
随着我国航天事业的快速发展,软件在航天器中的作用和地位越来越突出,航天软件逐渐成为航天型号任务成败的关键之一.航天型号软件普遍具有实时性高、可靠性要求高、运行环境
【机 构】
:
华东师范大学软件工程学院,北京轩宇信息技术有限公司
【基金项目】
:
国家重点研发计划资助项目(2019YFB2102600),高可信嵌入式软件工程技术实验室资助项目(HCESET-2019-1)
论文部分内容阅读
随着我国航天事业的快速发展,软件在航天器中的作用和地位越来越突出,航天软件逐渐成为航天型号任务成败的关键之一.航天型号软件普遍具有实时性高、可靠性要求高、运行环境复杂以及航天器结构复杂、资源受限等特点,这给航天型号软件的描述、设计、分析和实现带来了巨大的挑战.嵌入式周期控制系统语言(SPARDL)仅关注了离散时间的动力系统,为了描述物理世界的连续行为,希望发展一种面向航天型号软件建模特征的混成描述语言(HSPARDL),使其能够统一地描述其运行的物理过程与软件的控制行为,以及它们之间的协同交互机制,同时,
其他文献
金融机构负责人的忠诚义务从广义上理解,具体包括忠诚义务、注意义务以及与金融机构特征相联系的服从义务和特定的法定义务;法律界普遍认为金融机构负责人对自己服务的机构和
目的比较SYNTAX评分和残余SYNTAX(rSS)评分评估老年ST段抬高型心肌梗死(STEMI)经皮冠状动脉介入治疗(PCI)术后不良预后的临床价值。方法收集2017年3月—2019年1月在洛阳市中
将装备试验与评价看作一个系统,利用系统工程的理论、方法和技术对其进行全面管理不仅是必要的,而且是可行的。首先,对装备试验与评价的知识需求进行了分析,构建了知识需求的
WTO争端解决机构受理WTO各成员之间因争端而提出的诉讼请求。然而,从根本上讲,企业才是争议措施的直接受害者。国家只是代表企业、为维护企业权益而提请诉讼,企业与WTO争端的
飞行器组件在装配时会出现偏差传递造成装配偏差的累积,装配偏差会降低飞行器气动外形的准确度,直接影响其飞行性能。飞行器的容差问题成为制约飞行器制造质量提升的关键问题
目的探讨常规西药联合双参通冠胶囊对急性心肌梗死(AMI)经皮冠状动脉介入(PCI)术后病人心功能、血液流变学、预后的影响。方法选取2018年2月—2019年2月在本院接受PCI术治疗
目的:探讨集束化护理在大叶性肺炎纤维支气管镜灌洗术患儿中的应用效果。方法:选取2018年1月—2019年12月医院收治的168例大叶性肺炎纤维支气管镜灌洗术患儿为研究对象,按照
目的:观察重力喂养及非营养性吸吮对极低出生体重早产儿体重及胃肠道发育的影响。方法:纳入医院产科出生的86例极低出生体重早产儿,采用随机数字表法分为观察组和对照组各43
受西方后现代思潮影响,自20世纪90年代以来,中国出现了反现代性思潮.在全球化时代,摆脱情绪化、表面化和简单化的问题分析,审视中国境遇下的现代性问题,仍然是一个值得重视的
目的探究基于代谢当量的康复训练对慢性稳定性心力衰竭病人心肺功能的影响。方法选择2018年9月—2019年9月我院心内科收治的140例慢性稳定性心力衰竭病人作为研究对象,采用随