正在进行安全检测...

发布时间:2023-10-20 16:33:17   来源:文档文库   
字号:
基于FACE标准的数据建模方法研究高忠杰等 2018年5月第49卷增刊1(总第172期) 基于FACE标准的数据建模方法研究 高忠杰 ,康介祥 ,尹伟 ,马晋 ,傅金泉 (1.中国航空无线电电子研究所,上海200241;2.AnySys,上海200003) [摘要]现代民用飞机航电系统的综合化程度越来越高,系统的综合过程日趋复杂。软件功能的可移植性和 互操作性是制约航电系统功能综合的重要因素。FACE标准在集成各类开放式标准的基础上,提出了应用数据 建模架构。通过形式规范、语义严格的模型化方法对应用数据进行建模,进而实现代码和配置的自动生成。在 对基于FACE的数据建模方法进行清晰阐述的基础上,结合SCADE开发工具通过一个开发实例,对数据建模 过程进行介绍,对数据建模方法进行了总结。 [关键词] 未来机载能力环境(FACE);高安全性应用开发环境(SCADE);数据模型;概念模型;逻辑模 型;物理模型 【中图分类号]TP3l1.52[文献标识码]A[DOI编码]10.3969 ̄.ssn.1006—141X.2018.z1.22 『文章编号]1006.141X(2018)z1.O1 13—005 Data Modeling Method Based on FACE GAO Zhong ̄ie ,KANG Jie—xiang ,YIN Wei,MA Jin ,FU Jin.quan2 (1.China National Aeronautical Radio Electronics Research nstute,Shanghai 200241,China;2.AnSys,Shaai 200003,China) Abstract: With avionics becoming more and more complicated,avionics integration process IS more ad more difcult.The application interoperability ad portability are the main barries to avionics itegation.Te FACE standard suggests a Data Modeling metod to mitigate te ICD semantc gap between te USe and te developer.It supports the code ad confguration automatc generation.Data Modelg is iroduced ad a PFD UoP demo is built by SCADE and fnally the Data Modelg metod is summaried. Keywords:futureaibore capabiyenvironmet(FACE);safetcrcal applcatondevelopmetevironmet(SCADE) datamodel;conceptualmodel;logicalmoel;platformmodel 0 引言 随着民用飞机对飞行品质、安全性、舒适性 和经济性要求的不断提高,飞机的综合化程度也 越来越高。从波音777到空客A380和波音787,民 中。航电系统综合化程度的提高一方面带来系统 重量减轻、可靠性增加等方面的优点,另一方面 对于系统的综合验证过程提出了巨大的挑战。同 时,民用飞机的软件规模也在不断提高,如波音 777达到了400万行,民用飞机软件规模每隔四年 提升一倍,成为超大规模级别的软件。 目前,综合航电系统主要采用ARINC 653等 用飞机综合航电系统的综合化程度已经达到了前 所未有的水平…。除了传统意义上的航电系统功 能,燃油系统、电源系统、环控系统等非传统航 电系统的处理和控制功能也被综合到航电系统当 开放式系统结构提升民用飞机的航空制造、维护 以及改进升级,通过标准化接口实现软件和硬件 
May,2018 Vo149 Supplement 1(seral No.172) 航空电子技术 AVIONICS TECHNOLOGY 的分离,减少系统的修改设计和取证时间,降低 碍的原因在于:每个平台设备都有一个接口控制 文件(ICD:Interface Control Document)来描述该 硬件所支持的消息和协议,应用程序与该硬件的 接口是建立在这些消息和协议的支持上,应用程 序中的这些消息和协议的支持是与硬件紧密耦合 的,因为它们互相依赖以遵循ICD来获得正确的操 产品的开发成本的风险。由开放组织(The Open Group)发布的未来机载能力环境(FACE:Future Aibome Capabiy Environment)标准,在集成各 种标准接口的基础上进一步提出了数据建模的概 念,通过概念模型、逻辑模型和物理模型及共享 数据模型实现了软件数据的标准化,增强了软件 的跨平台移植能力。 作。集成者要完全理解ICD文字描述通常很困难, 例如,英尺和公尺单位的混用可能会产生误解。 精度或数据区域的测量误差也会造成开发和集成 的不匹配。  航电系统应用的复杂性 航电软件系统是一个由多个系统、多种环 境、多项任务、多种资源构成的相互关联、相互 支持、相互集成和相互制约的复杂系统,具有多 1.2 应用的互操作性问题 所谓互操作性(Interoperabiy)是指分布式设 备通过信息的数字交换而能够协同工作,并达到 目标、多信息、多专业、多任务、多功能、多资 源和多过程组成的大规模复杂系统构成与管理特 征。以大型民机C919显示系统为例,系统提给软 件的T4级需求达几万条,而T5级需求更是两倍于 T4级需求,需求条目数量惊人。其显示系统嵌入 共同目标的一种能力。作为软件架构属性的互操 作性则强调跨平台、编程语言的程序之间通信和 共享数据的能力。传统航电软件系统的互操作性 问题主要体现在与其它需协作的软件应用的紧耦 合接口上。它包括两个方面:一是传输数据的接 口为专有接口,且为紧耦合;二是互操作涉及的 式软件代码规模达100多万行,最大的软件配置项 超过l0万行。从目前的现状来看,航电软件系统 通常根据特殊的应用需求来开发,导致软件在不 同的硬件平台间移植困难,各项目之间很少出现 各方对所传输的数据缺乏规范及共同的理解。 1-3 基于模型的开发方法 通过建模过程可以把正在构建的系统可视 化、有效地描述系统的行为和结构、为待构建的 共享。这种“烟囱式”系统很难产生规模经济,随着 复杂任务架构和电子系统的出现,由于应用功能 的移植性和互操作性差,将新的硬件或者软件集 系统提供模板和指导,同时记录开发过程中所形 成的设计决策。模型驱动架构(MDA:Model Driven Archiecture)的软件开发方式是由国际对象 成到航电系统中的成本居高不下,平台任务能力 很难得到扩展,开发周期不断延长。 1.1 应用的可移植性问题 (一)“平台专有接口”导致的可移植性障碍 传统航电软件系统难以移植的原因是它们与 管理组在2002年制定的一种标准的模型驱动开发 (MDD:Model Driven Development)实现框架。 MDA以软件的建模行为驱动整个软件的开发过 程,把软件开发提升到更高层次的抽象级别上, 组固定的接口紧耦合。一个计算平台带有一组 采用模型作为软件开发的核心,不同的开发阶 段,使用不同的抽象层次的模型对系统进行分 析、提炼、获取相关信息,并尽可能详尽地把这 些信息反映到模型中去。目前,国内对于模型的 应用主要是在系统行为仿真建模方面,典型的工 具 ̄HIBM公司推出的Rhapsody、Mathworks公司的 平台设备,这些平台设备的接口往往都是特定 的,但它们都是该平台的一部分。一个专门为这 个计算平台编写的应用软件将与这些接口中的一 些或所有相连,从而产生平台依赖性。 (二)“紧耦合”特征导致的可移植性障碍 在大规模复杂航电软件系统中,计算平台硬 Matab/Simulnk、Ansys公司的SCADE等。在数据 建模方面的研究和应用较少。 件设备和与它们通信的软件模块之间的耦合代表 了应用可移植性的另一种障碍。这种可移植性障 114 
于FACE标准的数 缱卡 研究曲心 2018年5,J第49卷增rI 1(总第172 j 2 FACE数据建模方法 2010年,由荚 海 航空系统川令 发起、 丌放组织(Open Group)联合波音等多家公td捉… 丁未米机找能力环境(FACE)策略。FACE足 种 集技术和商业为一体的综合策略,体现了术米丌 放式系统架构的发展力‘向。FACE标准定义_r通JI 模型为可移植组件之问的数据共享提供一干叶,规 范化方法。数据建模的口的是定义l 移植组什l 的数据并确保可移植fb之IJ的数据j 川。豁J 航 数据模型的复杂性,FACE采川多级分层模型 水分离特定的关注。该数 模 不足传统 于类 的模型,而是一种语义模型,它为TSS接口的 息域提供语义描述,这种语义描述是 范的(非 的操作环境,采J]模块化的丌发办式,实现 航 空软件功能模块 不 平台和移植, 了平台f司的 操竹!r 年I1【 移仙 rL J 2.1 分段架构 在航 器平台和 用软件之 建、厂 个规范 好的捉丌 任意的),呵移植组件开发者能完全指定信息,从 增强可移植组件之问的互操作性。 FACE数据架构的要点在于建模父汁点的分 离,分别从概念上、逻辑上和平台细节} 对UoP 之 的数据交换进行建模,如 1所示。 平台● ■翻l 化的软件计算 { 台(称为FACE汁锌、r台或汁 环 境),传统戍川LJ_航 器 台接【]紧耦合的部分 被移剑汁算 台 }1,新的应J}j仪仪保留 、 务 辑午¨关的功能能力(称为i 移植ft ̄1:),汁算、 俞 巴 ■  +_ 将对新应用的接[J标准化。这样FACE技术 范就 抽象了 多个汁并 台I1l刊f 的 异,ll1· 移1_ 组件构成的应用就能够在 同的 台上 实现_史大廊片]的町移植性。 卜 登 清【—   (一)概念数据模  t  ,以 图1 FAOE数据模型语言 FACE参考体系将系统划分为5个J 段,也 括: 概念数据模 (CDM:Conceptual Data Mode1) 的 素包括对实体、可观测量以及 于定义它们 1)操作系统段(OSS:Operating System Segment): 之 概念和语义上下文关联的建模。实体或可 测h 表示CDM中的领域概念。 测量足指通过 2)输入/}j…服务段(IOSS:10 Services Segment): 对物理世界的度量而不足计算米量化的 物。 (二)逻辑数据模型 逻辑数据模型(LDM:Logical Data Mode1)足 刈 CDM的精化,在LDM r}J添_u的细节包括 3)传输服务段(TSS:Transpor Services Segment): 4)、 台特定服务段(PSSS:Platorm.Speci Services Segment): 化、度量和坐标系、值域(例如,实数、门然 教)、约束和度量精度等。LDM中的实体根 CDM的市日关实体来明确建模,它足CDM实体的一 个 现。 5) 移植组件段(PCS:Portable Component Segment)。 通过5个不同的功能段,实现了 用软什利汁 算环境下不同父注点的分离,斛决J,应川 、卜 的接¨祸合问题。 2.2 数据模型 传统航电软什系统的 1 操作性 题十要农现 (三) 台数据模型 平台数据模型(PDM:Platform Data Mode1) 足埘LDM的精化,LDM的基础兀素存PDM中实 现为物理数据类型。PDM支持的物 数 类 I 接刈‘ 到接口识别语音(IDL:Interface 存数据传输的接u紧耦合以及对所传输数机POS ̄ 角犁难以共亭这两方面。对所传输数据的 解难以 共亨问题的解决思路则是使删数据建卡jl,采川数 Defnition Language)数拂 类 。从PDM到每种支 持的编程语言存在标准化的语弃映射。PDM实体 足LDM实体的~一个实现。 
May,2018 Vo149 Supplement 1(seral No.172) 航空电子技术 AVIONICS TECHNOLOGY (四)可移植单元模型 从PDM到以UoP形式交付的软件还需要若干 附加信息。可移植单元模型(UoP Mode1)通过为 UoP提供形式化的消息接口规约来满足这一需求。 消息接口规约为一个UoP上的多个端口,其中每 个都引用PDM中的一个视图以说明它的消息类 型。在PDM中描述的视图被UoPs引用为通过TSS API传输的消息。 FACE数据模型语言(DML:Data Model Language)由一个EMOF元模型和若干对象约束语 言(Object Constraint Language)约束定义。一个有 效的FACE数据模型需要通过元模型和约束条件验 证,详细的EMOF元模型和OCL约束参见《FAcE 参考实现指南》【3J 图2数据建模过程 3. SCADE FACE支持开发包 目前,支持FACE数据模型开发的商用工具较 少,而FACE本身提供的开源工具稳定性较差、支 持开发语言单一,无法满足实际项目的应用需 3 基于FACE的数据建模 3. 数据建模流程 采用FACE数据建模方法开发一个新的可移植 软件组件(UoP)的过程如图2所示。由于FACE 求。Ansys公司的高安全性应用开发环境 (SCADE:Safety Crcal Applcaton Development Environment)产品涵盖了高安全性嵌入式系统开发 的各个内容和阶段,并在航空包中对FACE数据模 型定义进行了扩展支持。与FACE标准定义的数据 模型相比,SACDE对完整的FACE模型进行了简化 采用功能分段的参考架构,在数据建模前必须将 个应用的功能进行抽象,将其与具体设备相关 的功能(如传输总线、操作系统、设备驱动等)进 行分离。尽管SDM标准库中已经对大部分的物理 可观测量进行了建模,但若应用的某些数据不在 SDM标准库中,则用户可以开发白定义的库来实 从而更易于在项目中应用,各层次数据模型关系 如图3所示I  现支持。通过对应用的数据进行提炼可以获得应 用的概念模型,通过对需求的分析可以进一步将 概念模型精化为逻辑模型,通过和具体的平台映 射可以获得平台模型 ̄IUoP模型。由于FACE数据 模型采用核心元对象规范(EMOF:Essental Meta object Faciy)元模型进行定义,因而,可以通过 计算机程序自动的进行平台代码和配置信息的生 成,实现不同数据视图的变换。 图3 FACE数据模型(SCADE实现) SCADE提供了与FACE标准所定义的共享数据 模型库,同时可通过同步功能实现数据模型与 SUITE行为模型的接口同步,并最终生成功能代 码,支持UoP的FACE标准符合性验证『]。 3_ 数据建模实例 PFD实例应用的系统架构如图3所示。PFD应 用作为PCS的一个UoP,通过标准的TSS和OSS 
 j-FACE怀准f内数 处 法 _ 心 等 2018年5 第49卷增『I 1(总第172期) 接l I,采川数 模 定义的视图与仿真 境进 通 。FACE计算 境【1l TSS接Lj采圳DDS通信 机制 现,操作系统选用支持安伞分 的ARINC 653操作系统。 PFD 川J 示飞机的 本信息,典 的 PFD / ¨ 圳I 5所永。 先刈 PFD的功能进行 {I缘,刈‘PFD… 一其功 ̄FAIJ是埘 础的飞行信息 图7同步和代码生成 进 指, , 火心这 数掂米门哪 发 、如 L述功能需求 为 ¨『化输、数 1年} 如何。 SCADE集成开发环境巾进行PFD UoP行为 和显示模掣建模,并牛成C源代码。FACE计算环 境由支持ARINC 653安全接口的操作系统和符合 TSS标准接口封装的DDS通信机制组成,PFD以 分 应刖的形式留。通过由Simulnk开发的 行仿 川进 数拂 提烁,以姿念指标ADI为例,其基 小 息为{横滚,俯仰,偏航}。  I^(Itl钾蚪墙  数川激b)  SimUI nk飞行  仿真模型 真模型为FACE计算环境提供数据激励,最终的显 示效果如图8所示。    DDS 图8 PFD显示效果图 4 总结   应用功能问的数据紧耦合是影响软件可移植 性和互操作性的主要障碍。 通过自然语言定义 CD的传统方式相比,FACE提出的数据建模方法 采用符号规范、语义清晰的形式化方法,通过概 念模型、逻辑模型、平台模型及UoP模型逐步对 数据进行精化,完整、准确地表达了数据内容及 数据问的丰H 关系,并支持代码和配置的自动牛 成。通过FACE提供的数据建模方法和FACE分段 参考模 可以有效地提升功能应用软件的可移植 性和 操作性。SCADE工具实现了对FACE数据 建模的支持,并支持数据模型与行为模型的同步 操作。本文在对FACE建模理论进行介绍的基础 上,通过SCADE_ 具构建了个基于FACE计算 环境的PFD实例,重点埘数据建模过程进行了阐 述,对在工程项目中开展FACE数据建模应用有一 定的参考意义。 图6 SCADE建模过程 l17 (下转第143页) 
机载WiFi设备电磁兼容试验方案探讨刘学 2018年5月第49卷增刊1(总第172期)  结束语 随着中国民航管理总局政策的放开,机载 WiFi设备在未来将呈现蓬勃发展态势。本文根据 机载WiFi设备的特点,基于对DO一160G标准的初 步研读,对机载WiFi设备EMC试验方案的影响因 素进行了分析,希望对机载WiFi设备在适航取证 测试过程中拟制方案有所启发,保证试验客观准 确。 献 [1】王华建,王英翔.天线系数的计算与使用[J].中国无线电,2010(7):27—30. 2]RTCA DO-160G Environmental condions and est procedures or aiborne equipment[S]2010. 3]IEEE Std 802.  M Wieles LAN medium acces contol(MAC)ad physical yer(PmO Specicatons[S].2012 收稿日期]2018—03.05 [作者简介]刘学(1983一),男,工程师。研究方向:航空电子。 (上接第117页) 参考献 孙欢庆.民用飞机综合航电系统技术发展研究[J】.航空科学技术,2010(3):6.8. 2]The Open Group.Technical andad or uture aibor capabiy envionment edion 2.1[S】.2014. 3]Te en Group.Reference mplementon guide or ace echnica standad edon 2.0[S]2014. 4]AnSys.SCADE avionics package guide nes[M】.AnSys,2017. 5】 王函哲.模型驱动的构件代码生成工具的研究与实现[D].上海:上海交通大学,2008. 6]mM.Essent ofIBM ̄R ̄ional ̄Rhapsody ̄for syems engineer V7.5 SysML or systems engineers V1.0.2010[M].ⅢM, 2O1O [收稿日期]2018—03—05 [作者简介]高忠杰(1982一),男,高级工程师。研究方向:航空电子软件开发与应用技术。 143 

本文来源:https://www.2haoxitong.net/k/doc/3fa29d21332b3169a45177232f60ddccda38e6a2.html

《正在进行安全检测....doc》
将本文的Word文档下载到电脑,方便收藏和打印
推荐度:
点击下载文档

文档为doc格式