【摘 要】
：
本文面向适航标准DO-331和DO-333,提出了一种机载软件分层精化开发和验证方法,形成了一套完整的软件开发和验证流程。本方法开发过程软件制品分为需求、设计模型和源代码。此外,为了降低开发难度,分解复杂软件,采用分层精化的方式来设计软件模型,具体操作为通过逐层细化模型,最后得到完整表达所有需求的最终精化模型;源代码则是基于设计模型通过自动代码生成获取,可以有效减轻机载软件开发人员工作量。而在验证
论文部分内容阅读
本文面向适航标准DO-331和DO-333,提出了一种机载软件分层精化开发和验证方法,形成了一套完整的软件开发和验证流程。本方法开发过程软件制品分为需求、设计模型和源代码。此外,为了降低开发难度,分解复杂软件,采用分层精化的方式来设计软件模型,具体操作为通过逐层细化模型,最后得到完整表达所有需求的最终精化模型;源代码则是基于设计模型通过自动代码生成获取,可以有效减轻机载软件开发人员工作量。而在验证阶段,通过将设计模型转换至形式化的时间自动机模型,并从需求中提取功能性和安全性约束进行模型检验,确保设计模型符合需求同时保障其安全性。最后通过一个自动飞行控制软件案例实践本方法,并根据适航标准对开发和验证过程进行审查,表明了本方法是可行且有效的。
其他文献
随着经济全球化的趋势,跨国股权交易已成为常态,非居民企业间接转让股权的行为也愈加频繁,间接转让股权交易不仅涉及的金额较大,内容繁多,还涉及诸多的税收问题。但是我国在对非居民企业间接转让股权的管理中,相关的税收政策只有2015年《关于非居民企业间接转让财产企业所得税若干问题的公告》（国税发[2015]7号,以下简称“7号公告”）具有较强的指导意义,但7号公告还存在一些不足,使得我国税务机关在处理非居
《刑事诉讼法》在修订过程中,不断推进程序司法化。传统审查逮捕程序侧重于惩罚犯罪,而忽视人权保障。在设置上,传统审查逮捕程序存在审查主体不中立不独立、犯罪嫌疑人不具备主体地位、审查不公开、审查方式书面化、缺乏救济权利等缺陷。2012年《刑事诉讼法》修订,在立法上建立弱三方结构的审查逮捕程序。随着司法实践的推进,审查逮捕程序事实上是准诉讼化的形态。但是审查逮捕程序的诉讼化改革程度远远不足。2016年,
我国股票市场经过三十年的不断发展,在国内金融市场中扮演着越来越重要的作用,但是仍然有很多不完善的地方。近年来,我国上市企业的股价崩盘事件时有发生,股价的“暴涨暴跌”,不仅不利于国内金融市场的稳定,而且会损害绝大部分投资者的利益,增加了金融市场的系统性风险。鉴于企业高管政府关联对上市公司会产生较为重要的影响,同时已有研究表明世界各国企业普遍与政府存在密切的关系,本文将上市公司股价崩盘风险影响因素研究
伴随不可再生资源的日益枯竭,全球环境污染、气候变暖等问题也日益加剧,经济的可持续发展成为当前亟待遵循的重要规律。经过四十多年改革开放和发展,中国加速发展成为世界第二大经济体,中国发展战略进程中的能源问题由此显得更为突出,高度依赖能源进口不仅关系到国防安全,也不利于生态文明建设。因此,应对能源危机的碳约束能力将成为当前以及未来一项重要的国际竞争力。推动经济的高质量发展,重在生态环境协同发展,产业结构
企业如何在激烈的竞争中取胜或者屹立不倒,需要企业中的人才来实现这一宏伟目标。企业的各种经营指标、目标的达成,均需要组织中领导和成员高效协同完成。正常的领导成员交换关系是组织良好可持续发展的前提保障。相对领导成员交换关系这一变量,一方面已有很多学者研究指出它可以促进企业积极行为,另一方面目前少有学者研究指出它也会给企业带来消极的负面行为。极端相对领导成员交换关系现象,严重影响组织成员心理状态,对个体
互联网和电子商务的快速发展,使得分销渠道逐步从传统的线下往线上拓展,并不断向线上线下融合的方向发展,“新零售”就是在融合创新过程中较为典型的分销方式。互联网带来的巨大消费市场和时空便利让越来越多的企业参与到网络分销活动中,中国企业在电子商务的发展过程中日益数字化、智能化和国际化。与此同时,仅仅是面向个人消费者的电子零售商店满足不了产能较大企业对追求更高利润的渴望,没有产能或者产能较为低下的电商企业
人教版高中化学选修4中有"弱电解质的电离平衡"知识点内容,该知识点相当抽象,探讨了利用手持技术解决某些化学抽象概念建立过程的可能性,需要教师结合化学实验引导学生探究电离平衡的微观过程。基于学科核心素养的化学教学设计是基于四重表征展开的,分别为宏观、微观、符号与曲线表征,这四重表征对于高中学生的学科核心素养培养是相当深入的,能够为学生学好这一课内容创造有利条件。
利用试题情境进行教学时,发现无法在课堂上再现;用浓硫酸作氧气等干燥剂时,发现存在安全等问题。针对发现的问题,选择生活中的除湿剂和浓硫酸作为研究对象,依据手持技术测定数据,控制相关变量,得出结论,并对案例的研究手段和研究对象进行反思。
公司作为国民经济的基本单位,是市场活动的主要参与者,公司经营绩效的提升离不开现代金融的支持、离不开市场的有效融资。公司发展需要多样化的融资渠道,由此形成的融资结构直接或间接影响公司绩效。股权融资和债券融资是公司进行社会融资的基本方式,随着债券市场的不断发展和完善,债券融资在公司融资过程中重要性日益凸显,债券融资与公司经营绩效的关系也逐渐成为研究重点。能源工业是经济发展的先头部队,在经济发展的过程中
在电子商务和移动互联网技术快速发展和逐渐成熟的条件下,直播经济爆发,网络直播作为网络文化的新的发展业态,也呈现出了多元化的发展趋势,逐渐形成了“网络直播+电子商务”的发展模式。电商直播对消费来说不仅仅改变了消费的形式,丰富了消费者的碎片化时间。对于商家来说,通过“直播+购物”这一的营销手段达成了为产品和品牌推广的目的,不仅仅大幅度的促进了产品的销量,也增强了消费者对产品的品牌忠诚度。主播作为电商直