欢迎来到天天文库
浏览记录
ID:28135273
大小:18.34 KB
页数:6页
时间:2018-12-08
《基于scade下飞控软件的适航验证与确认初探》由会员上传分享,免费在线阅读,更多相关内容在应用文档-天天文库。
1、为了确保“教学点数字教育资源全覆盖”项目设备正常使用,我校做到安装、教师培训同步进行。设备安装到位后,中心校组织各学点管理人员统一到县教师进修学校进行培训,熟悉系统的使用和维护。基于SCADE下飞控软件的适航验证与确认初探 摘要随着民航事业的快速发展,业界对飞控系统软件的重视程度日渐提升,但现行的中国民用航空规章第25部涉及的适航要求却存在不完全适用于基于SCADE软件验证的情况,基于此,本文就飞控软件的适航要求和符合性方法展开分析,并对适航验证和确认进行了详细论述,希望论述内容能够为相关业内人士带来一定启发。 关键词SCADE;飞控软件;
2、适航验证;DO178B 中图分类号TP3文献标识码A文章编号1674--0115-02 作为法国爱斯特尔技术公司开发的产品,SCADE软件采用了基于模型的Y型开发流程,而在该软件提供的SCADE代码生成器支持下,飞控系统软件的“编码”过程可以被省略,软件的可靠性自然能够由此大幅提升,而为了最大化发挥SCADE软件的应用价值,本文正是围绕基于SCADE下飞控软件的适航验证与确认展开具体研究的原因所在。 1飞控软件的适航要求和符合性方法 第25部《运输类飞机适航标准》要求为了充分发挥“教学点数字教育资源全覆盖”项目设备的作用,我们不仅把资源
3、运用于课堂教学,还利用系统的特色栏目开展课外活动,对学生进行安全教育、健康教育、反邪教教育等丰富学生的课余文化生活。为了确保“教学点数字教育资源全覆盖”项目设备正常使用,我校做到安装、教师培训同步进行。设备安装到位后,中心校组织各学点管理人员统一到县教师进修学校进行培训,熟悉系统的使用和维护。 作为中国民航局对运输类飞机提出的适航审定标准,中国民用航空规章第25部《运输类飞机适航标准》对机载设备适航性提出了明确要求,在条款中,该标准明文规定“系统及其安装必须保证在各种可预期的运行条件下能完成其预定功能”,本文研究的飞控软件正属于该规定范畴,这
4、是由于飞控软件的失效将直接影响飞机适航性[1]。 飞控软件适航要求的符合性方法 为了同时满足ARP4754《关于高度综合或复杂的飞机系统的合格审定考虑》、第25部《运输类飞机适航标准》适航要求,只有系统硬件满足RTCA的DO254要求、软件系统满足其DO178B要求,飞机的适航性才能够得到较好保障。 其中,机载软件标准RTCA/DO178B发布于1992年,RTCA和EUROCAE发布该标准是为了明确航空系统和设备嵌入式软件开发过程要求,只有这样才能够保证相关软件的安全可信、功能较好满足适航要求,而在满足这类标准要求后,如何进一步提升软件
5、产品的安全性和开发效率便成为了业内人士必须考虑的问题。 2适航验证和确认 DO178B要求对验证和确定进行了明确定义,其中验证指的是“对要求的执行情况予以评估,评估这些要求是否得以实现”,确认指的是“确定产品规范完整且正确”,但结合SCADE软件和DO178B要求开展对比可以发现,SCADE软件的核心形式化规范验证与DO178B要求存在着一定冲突之处,为了在�@种情况下最大程度提升飞控软件适航验证与确认质量,本文建议这种适航验证和确认围绕以下步骤开展。 SCADE模型上层规范的确认为了充分发挥“教学点数字教育资源全覆盖”项目设备的作用,我
6、们不仅把资源运用于课堂教学,还利用系统的特色栏目开展课外活动,对学生进行安全教育、健康教育、反邪教教育等丰富学生的课余文化生活。为了确保“教学点数字教育资源全覆盖”项目设备正常使用,我校做到安装、教师培训同步进行。设备安装到位后,中心校组织各学点管理人员统一到县教师进修学校进行培训,熟悉系统的使用和维护。 在基于SCADE软件的飞控软件适航验证与确认中,首先需要确定的是SCADE模型上层规范,这是由于SCADE图形化模型中的所有需求均包含在该上层规范之中,为了实现高质量控制律说明规范文件和性能规范文件、飞控系统的详细功能目标文件等需求确定,这
7、一环节必须得到高度重视。值得注意的是,评审属于这一环节的主要确认手段,驾驶员在回路的飞行模拟器控制律性能试验也需要在这一过程中得到高度重视[2]。 SCADE图形化模型确认 完成SCADE模型上层规范的确认后,即可进行SCADE图形化模型确认。对于本文研究的SCADE软件来说,上文提及的SCADE代码生成器通过了DO178B的认证,这就使得SCADE软件的应用能够较好保障代码的可靠性和准确性。在代码可靠性和准确性得到保障的前提下,SCADE图形化模型必须得到高度关注,这种关注需要体现在模型的正确性、无歧义、完整性等方面,这样才能够进一步保证
8、代码正确性。为了充分发挥“教学点数字教育资源全覆盖”项目设备的作用,我们不仅把资源运用于课堂教学,还利用系统的特色栏目开展课外活动,对学生进行安全教育
此文档下载收益归作者所有