0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

基于模型的方法在民机机载软件中的应用

上海控安 来源:上海控安 作者:上海控安 2023-10-27 15:30 次阅读

作者 | 蔡喁上海控安可信软件创新研究院副院长

版块 |鉴源论坛 · 观擎

社群 |添加微信号TICPShanghai”加入“上海控安51fusa安全社区”

01基于模型的开发和验证MBDV

模型泛指用于支持软件开发过程或软件验证过程的系统的一组软件方面的抽象表示,在机载软件中,基于模型的开发和验证中所涉及的模型一般包含以下特征:

1.使用明确标识的建模符号来完全描述模型。这里所说的建模符号可以是图形和/或文本的。

2.该模型包含软件需求和/或软件体系结构定义。

3.该模型的形式和类型用于软件开发过程或软件再验证过程支持的直接分析或行为评估。

相比之下一些其他类型的“类模型方法”在机载软件领域内并不被定义为一种MBDV方法。包括无法形成语法语义有限闭环的图形表达方法、或者在机载软件生命周期中无法用于表达需求/设计的图文结合表达方法。

之所以在民机机载软件中对模型开发进行如此的定义,与民用飞机所面临的适航符合性要求是相关的。正如前面几期介绍的,机载软件适航标准对软件研制过程、生命周期数据以及符合性证据等都提出了明确的要求。然而,这些过程要求都是建立在欧美80~90年代软件工程实践的基础上,以文本需求+代码为主要的开发方式。随着近些年模型技术的进步,很多研制方法中通过模型表达需求或者设计,从而改变了以往单纯依靠人工方法的开发状态。因此,传统RTCA DO-178B/C标准中部分目标不再适用于MBDV情况,同时,MBDV也存在自有的特殊方法,也会存在特有的引入错误的可能。在本世纪初期的民机研制和适航实践中,民航局方经常通过对MBDV补充专门的问题纪要的形式对其符合性要求进行专门的规定。为改变这种情况,在RTCA DO-178C标准修订时专门制定了基于模型的开发和验证补充标准。

02MBDV在民机中的应用模式

由于民机中潜在的模型多种多样,其表达方式以及承载的设计内涵各不相同,这将造成模型在整个层次化的研制体系中发挥不同的作用。且,由于很多实际项目中,难以用一种模型完全表达一款机载软件中所有的需求和设计,往往存在模型和文本需求/设计混用的情况。以下是几个不同的模型场景例子:

下表提供了几组使用了模型的软件生命周期,解释了不同的模型开发时的较高级需求:

wKgZomU7ZkOASL2jAADPiIoHOv4347.png表1 不同模型开发时的模型运用场景

例A:用来描述低级需求和软件构架的模型,如表1中案例3,用一个或者多个模型来代表软件的低级需求和软件构架。

wKgZomU7ZmiATD4yAAQ8Lru9Pro165.png图 1

例B:用来描述高级需求、低级需求和软件构架的模型,如表1中案例2。

wKgZomU7ZnSAGPPBAAI19rCeX6M832.png图 2

例C:另一种用来描述高级需求、低级需求和软件构架的模型。

wKgaomU7ZoGAPLyjAAHTRB6i5cw289.png图 3

例D:仅用一个模型来描述部分的高级需求,其下层为经典的开发流程。

wKgaomU7ZoyAKdyfAAJQ2j82BV8677.png图 4

例E:如表1中案例2仅用一个模型来描述系统设计、高级需求、低级软件需求和软件的构架。

wKgaomU7ZpeAZF6eAAFGX9lU7qE301.png图 5

03MBDV在民机适航中的主要挑战

3.1层次和追溯方面的问题

传统的机载软件过程要求软件研制环境具备明显的层次特征,且不同层次之间实现严格的追溯关系。然而,由于模型的引入,传统上通过条目进行的追溯方法变得困难。且,由于不同类型的模型表达的需求和设计维度不同,模型在层次中的定位实际上无法给出统一的规定,进一步加剧了上述问题。具体在运用过程中,由于模型中的单元维度与传统条目化需求和设计中的维度不同,研制单位可能难以建立有效的精确追溯,或者难以检查和评估追溯的正确和完整性。此外,由于层次的相对不稳定,也造成了模型具体需要满足机载软件适航标准中哪些生命周期目标变得不再直接。

3.2 模型仿真方法的有效性

在早期开展模型化设计的研制单位内,模型自身可以通过早期的仿真来检验设计的正确性是模型运用的重要驱动力。相比于必须完成代码开发和集成才能通过测试检验正确性的传统开发环境,仿真方法无疑将早期验证活动很大程度上自动化了。然而,作为民机软件工程,为保证产品的安全性,验证方法自身的有效性也是重要的方面。在通用软件中使用的很多技术,由于难以达到民机适航所要求的确定性和准确性水平,难以在民机中使用的例子屡见不鲜。为此,使用模型仿真的研制单位,需要在定义模型以及设计模型仿真方法的过程中,通过理论分析以及实践检验等方法自证模型仿真的有效性。这也无疑提高了在民机中运用模型方法的难度。


04标准中对MBDV的要求

DO-331标准,正是基于上述两点,对使用模型定义的各级需求/架构/设计数据的研制和验证要求(包括验证覆盖率的判断方法)、仿真作为验证手段的符合性要求进行了规定。

在具体工程应用中,利用基于模型的方法进行机载软件的研制和验证时,除了要满足DO-178C中相应过程的目标外,还需要满足补充文件DO-331中新增的如下几类目标。

(1)软件开发过程

·标识任何对高级需求实现或执行无用的特定模型元件

当软件高级需求可以通过规范模型进行表示时,没有描述任何高级需求且不能作为开发过程或开发活动输入的模型元件都应该被标识出来。该目标是否满足可以通过MB.6.3.1中的验证目标进行证明。

·标识任何对软件架构实现或执行无用的设计模型元件

当软件低级需求可以通过规范模型进行表示时,没有描述任何低级需求且不能作为开发过程或开发活动输入的模型元件都应该被标识出来。该目标是否满足可以通过MB.6.3.2中的验证目标进行证明。

·标识任何对低级需求实现或执行无用的设计模型元件

当软件架构可以通过规范模型进行表示时,没有描述任何软件架构且不能作为开发过程或开发活动输入的模型元件都应该被标识出来。该目标是否满足可以通过MB.6.3.3中的验证目标进行证明。

(2)软件需求过程输出结果的验证

·仿真用例正确

补充文件DO-331中规定,若使用仿真技术作为符合性方法,用于证明表格MB.A-3中目标1、2、4或7是否满足,则在传统测试方法的基础上必须补充对仿真用例的确认工作。MB.A-7目标10“仿真用例正确”也应被满足。

·仿真程序正确

补充文件DO-331中规定,若使用仿真技术作为符合性方法,用于证明表格MB.A-3中目标1、2、4或7是否满足,则目标“仿真程序正确”也应被满足。

·仿真结果正确,并且解释差异性

补充文件DO-331中规定,若使用仿真技术作为符合性方法,用于证明表格MB.A-3中目标1、2、4或7是否满足,则目标“仿真结果正确,并且解释差异性”也应被满足。

(3)软件设计过程输出结果的验证

·仿真用例正确

补充文件DO-331中规定,若使用仿真技术作为符合性方法,用于证明表格MB.A-4中目标1、2、4、7、8、9或11是否满足,则目标“仿真用例正确”也应被满足。

·仿真程序正确

补充文件DO-331中规定,若使用仿真技术作为符合性方法,用于证明表格MB.A-4中目标1、2、4、7、8、9或11是否满足,则目标“仿真程序正确”也应被满足。

·仿真结果正确,并且解释差异性

补充文件DO-331中规定,若使用仿真技术作为符合性方法,用于证明表格MB.A-3中目标1、2、4、7、8、9或11是否满足,则目标“仿真结果正确,并且解释差异性”也应被满足。

(4)软件验证过程输出结果的验证

·仿真用例正确

补充文件DO-331中规定,若使用仿真技术作为符合性方法,用于证明表格MB.A-6中目标1或2是否满足,则目标“仿真用例正确”也应被满足。

·仿真程序正确

补充文件DO-331中规定,若使用仿真技术作为符合性方法,用于证明表格MB.A-6中目标1或2是否满足,则目标“仿真程序正确”也应被满足。

·仿真结果正确,并且解释差异性

补充文件DO-331中规定,若使用仿真技术作为符合性方法,用于证明表格MB.A-6中目标1或2是否满足,则目标“仿真结果正确,并且解释差异性”也应被满足。

审核编辑:汤梓红

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 仿真
    +关注

    关注

    50

    文章

    4073

    浏览量

    133556
  • 软件
    +关注

    关注

    69

    文章

    4929

    浏览量

    87413
  • 模型
    +关注

    关注

    1

    文章

    3229

    浏览量

    48811
收藏 人收藏

    评论

    相关推荐

    波形综合机载雷达地杂波模拟方法性能分析

    根据机载雷达地杂波的形成原理及其特点,提出了一种基于波形综合的机载雷达地杂波建模方法。该方法产生的地杂波可以控制杂波的时域幅度起伏和功率谱,
    发表于 05-10 12:03 29次下载

    基于VXI总线的软件混合编程技术某型机载火控计算机测试系统

    分析了基于VXI总线的某型机载火控计算机测试系统软件体系构成,探讨了VXI测试系统软件混合编程的一般思路和方法。基于VXI总线的某型机载火控
    发表于 07-15 11:15 36次下载

    机载通信互调干扰预估方法

    建立了机载通信系统无线设备间互调干扰的分析模型、天线间功率耦合计算,提出了基于区域分解矩量法的模型关键输入参数计算方法。经过数值实验、结果
    发表于 05-22 14:39 17次下载
    <b class='flag-5'>机载</b>通信互调干扰预估<b class='flag-5'>方法</b>

    机载相控阵雷达STAP原理及其干扰方法

    空时二维自适应处理技术(STAP)具有优越的杂波抑制性能,作为一种关键动目标检测技术,机载和天基雷达得到了广泛的应用。首先介绍了机载雷达的杂波几何
    发表于 08-29 15:07 44次下载
    <b class='flag-5'>机载</b>相控阵雷达STAP原理及其干扰<b class='flag-5'>方法</b>

    基于GSPN的机载构件化软件可靠性评估

    。在此基础上,将依赖关系扩展到语义连接、参数连接及子构件调用上,同时使用图形化方法对转换规则进行说明,使可靠性模型向CSPN模型转换规则更加完备,以实现对机载构件化
    发表于 11-05 12:06 7次下载
    基于GSPN的<b class='flag-5'>机载</b>构件化<b class='flag-5'>软件</b>可靠性评估

    机载液压系统寿命预测

    作用下性能退化规律,将研制寿命试验的累积损伤表征退化状态内部,实际飞行数据通过贝叶斯滤波动态更新到寿命估计模型,考虑余度液压系统多退化状态增广,给出动态机载液压系统寿命预测与估计
    发表于 03-10 09:54 0次下载

    机载雷达从地杂波检测运动目标的详细资料说明

    提出了将变抽样率处理技术应用于机载雷达下视探测,以从地杂波检测运动目标的方法。首先分析了信号模型,针对这一模型,讨论了变抽样率处理技术应用
    发表于 07-26 17:06 17次下载
    <b class='flag-5'>机载</b>雷达从地杂波<b class='flag-5'>中</b>检测运动目标的详细资料说明

    机载系统和设备认证软件考虑

    DO-178B介绍 INTRODUCTION DO-178B,机载系统和设备认证软件考虑,电子硬件被要求符合 DO-254 之前多年就已发布和采纳。DO-178B 的先行一步对电
    的头像 发表于 03-09 11:52 1854次阅读
    <b class='flag-5'>机载</b>系统和设备认证<b class='flag-5'>中</b>的<b class='flag-5'>软件</b>考虑

    民机飞行员人机交互脑力负荷预测模型

    针对民机驾驶舱人机交互飞行员脑力负荷冋题,设计不冋难度的人机交互飞行实验任务,分析飞行作业过程中行员脑力负荷评估指标上的变化。在此基础上,提出一种新的改进的多元线形回归方法,探索人
    发表于 06-18 14:56 10次下载

    一种结合敏捷方法和V模型的汽车软件开发方法

    本文对敏捷方法的实施提出了见解,并了解了敏捷流程和V模型汽车软件开发的综合使用效果。本文揭示,从研究和产业的角度来看,如何将敏捷
    发表于 08-20 16:09 1738次阅读

    民机机载软件的开发与验证

    本文将分析和解释民用飞机机载软件体系下的语境和对过程的基本要求出发点。
    的头像 发表于 02-10 10:34 2001次阅读

    民机机载软件的开发和验证工具

    工具鉴定正是DO-178C第十二章第二节所描述的内容。为了区别工具鉴定与机载软件的适航要求,RTCA组织DO-178C标准推出之时也同步颁布了DO-330文件。将工具鉴定要求和方法
    的头像 发表于 02-24 13:34 943次阅读

    什么是机载激光雷达?

    机载激光雷达(也称机载激光扫描)是一种激光扫描仪,飞行过程连接到飞机上,创建一个3D点云地形模型
    的头像 发表于 02-20 10:00 4344次阅读
    什么是<b class='flag-5'>机载</b>激光雷达?

    浅谈操作系统的适航符合性(下)

    本篇将展开讨论降低民机机载操作系统适航风险的具体方法
    的头像 发表于 08-08 15:11 768次阅读
    浅谈操作系统的适航符合性(下)

    民机机载软件的配置管理

    配置管理(Configuration Management)航空领域经常又称为构型管理,是现代复杂产品研制的核心技术。与很多传统观念配置管理是对文档和版本的简单管理不同,现代复杂产品由于其内部组成部分较多、研制分工普遍以及设计
    的头像 发表于 12-01 16:15 834次阅读
    <b class='flag-5'>民机</b><b class='flag-5'>机载</b><b class='flag-5'>软件</b>的配置管理