【摘 要】
：
航空机载软件适航认证DO-178C的发布对机载软件提出了更高的安全性和可靠性需求,对机载软件建模及验证提出了重大挑战.为了达到机载软件高层需求目标,提出一种基于知识图的高
【机 构】
：
北京航空航天大学计算机学院 北京 100191
【出 处】
：
全国抗恶劣环境计算机第二十四届学术年会
论文部分内容阅读
航空机载软件适航认证DO-178C的发布对机载软件提出了更高的安全性和可靠性需求,对机载软件建模及验证提出了重大挑战.为了达到机载软件高层需求目标,提出一种基于知识图的高层需求的形式化建模方法,此方法给出一种形式化语言描述知识图并协同构建知识图,然后通过因果模型表示高层需求,通过知识图对功能需求和非功能需求形式化建模.这提高了需求可追溯性,即有助于从高层需求追溯到系统需求来实现DO-178C提出的高层需求可追溯性目标.而且,我们提供建模工具让领域专家协同构建知识图并实现高层需求建模,我们也给出一些高层需求验证,这些对生成安全、可靠、高质量的机载软件系统意义重大.
其他文献
今后十多年，既是中国就业总量压力最大的时期，也是就业结构调整的关键时期。我们将坚持市场配置劳动力资源的改革方向，并把就业作为宏观调控的主要目标之一，在总量上减少劳动力的供给，增加劳动力的需求，在结构上重点做好国有企业下岗职工的再就业和农村劳动力的转移工作；同时进一步完善失业保险，保证劳动力流动过程中的社会稳定。
论市场经济条件下的法律精神■冯华昕在社会主义市场经济条件下，重塑现代法律精神，确立经济行为的秩序原则，奠定法治之国的价值基础，已成为中国当代法哲学的崇高使命。在经济模式
航空电子系统是安全关键的嵌入式系统,其对安全性和可靠性有更高的要求.如何开发安全可靠的机载软件,同时有效的控制开发时间和成本是当前面临的一个重大挑战.将软件体系结构
传统的程序验证方法如Hoare逻辑,最弱前置谓词法,存在中间断言构造困难、依赖于循环不变式、证明复杂等缺点.针对于这些缺点,本文提出基于语境的形式化证明方法,设计了一套基
培养学生的科学素养是小学科学教学的目标之一，也是实现素质教育目标的应有之义。本文首先分析了在科学教育中培养小学生科学素养的重要性，然后提出了在科学教育中加强小学生科
现有无线传感器网络MAC协议大多采用周期性唤醒/休眠机制来提高能量利用效率,达到延长网络生命周期的目的.针对现有MAC协议在延迟和吞吐量性能方面存在的不足,结合采集型无线
现代社会快速向前迈进，各种新的教学方法及手段在新课改的助推下如春笋般悄然产生，为更好地优化和改良教学实践提供了理论基础，促进了教学品质的提升。信息技术是小学课程中的不
去年12月以来,我们在贯彻省委宣传工作会议精神,全面提高教育质量的工作中,组织高中毕业班学生学习毛主席的哲学著作,以毛泽东思想来教育学生“立大志,下决心,鼓干劲,攀高峰
B方法是目前被广泛应用的一种形式化开发方法,然而B方法在实际的应用中仍然面临着许多的问题.为了能更简单高效的应用形式化方法来开发软件和系统,基于B方法提出了一种新的形