空中之眼.PDFVIP

航空航天与国防 空中之眼 小型工程团队使用ANSYS SCADE完成无人飞行系统12.5万行控制代码的设计、验证、生成和集成工作，用 时仅为使用C语言时所需时间的三分之一。 作者：Giuseppe Cinà，比亚乔航空工业公司飞行控制系统经理，意大利热那亚 Amar Bouali，ANSYS全资子公司爱斯特尔技术公司南欧、土耳其、中东亚地区业务运营副总裁 ? 首次飞行中的 P.1HH HammerHead 无人飞行系统（UAS）在情报、监视和侦察（ISR） 任务方面的应用已呈现爆炸性增长。随着无人飞行 系统的价值不断提升，这一增长丝毫没有显示放缓 在项目启动后不到两年时间， 该航空器即成功完成首飞。 的迹象。UAS 领域在开发自动控制航空器方面必须解决一系 列关键技术和人力难题。来自比亚乔航空公司的工程师面临 着将公司的传统载人 P.180 Avanti II 行政喷气机改造成 UAS SCADE Suite Gateway for Simulink? 将其转换成 ANSYS 的挑战。该航空器的指挥控制架构需通过第一代要求的认 SCADE 模型。 证，同时按照设计路线图的要求能够在将来不断扩充功能， 工程师根据 SCADE 模型，使用 SCADE KCG 资格认证代 从而为不同配置提供支持。为了限制经费并在很短的时间内 码生成器自动生成嵌入式源代码。然后先后在模型阶段、主机 取得成功，这项工作必须由数量严格受限的工程师来完成。 以及目标环境中连续测试航空器控制管理系统（VCMS），即执 比亚乔的工程师通过使用新的开发流程实现了上述目标，在 行航空器命令和控制的数字基础设施，这样工程团队就能够尽 该开发流程中，工程师从头创建了全新的 ANSYS SCADE 早地发现问题并加以更正。 模型，或在有 Matlab/Simulink? 模型可用的情况下，使用 比亚乔航空工业公司是一家总部位于意大利热那亚的跨 ? 2014 ANSYS, INC. ANSYS ADVANTAGE 2014 年 | 第 3 期 | 第 VIII 卷 45 航空航天与国防 国航空航天制造公司。该公司从事航空 器、航空发动机和航空器结构组件的设 计、开发、建造和维护工作。比亚乔最 新开发的 P.1HH HammerHead 无人机采 用两台普拉特·惠特尼加拿大（Pratt Whitney Canada）公司生产的 PT6-66B ?VCMS 架构 涡轮螺旋桨发动机，能为任何侦察和安 保需求提供顶级对峙能力（在一定距离上 部署）。该 VCMS 可用于管理飞行控制、 推进、发电和配电、起落架、制动、结 冰检测和防护、导航和通信系统。使用 分区技术创建分隔环境，可让每种功能 的软件应用都在其中运行而彼此又不会 产生干扰，进而避免造成故障扩散。 软件开发要求 在项目的开始几个月里，团队先 开发发动机和飞行控制规则 ；同时项目 组还制定了针对嵌入式软件的其它要 求。VCMS 的高级要求以多种不同格式 提供。系统工程师还以文本方式采集了 一些有关功能、界面和冗余等方面的要 求。其它要求则以文本方式从诸如 P.180 飞行员操作手册等操作指南中摘录。驾 驶该飞机所涉及的控制规则、算法和方 程则在 MathWorks? Simulink 中完成编 写、仿真和验证。随后在 IBM? Rational? DOORS? 要求管理环境中生成各项要 求。此外，测试案例也在 DOORS 中完 成编写，并使用 SCADE 要求管理网关连 接到操作要求。最后针对每个测试案例 ?P.1HH 开发流程 ? 2014 ANSYS, INC. ANSYS ADVANTAGE 2014 年 | 第 3 期 | 第 VIII 卷 46 定义测试步骤和预期结果。 对该项目而言，软件必须符合 DO-178B 标准，即 FAA、EASA 和其 它认证机构用于认证所有航空电子软件 的事实标准。由于 SCADE 能够从模型 自动生成源代码，并最大限度地减少 验证对应于系统模型的源代码的工作 量，因此比乔亚选择 ANSYS SCADE 作 为 VCMS 的开发环境。ANSYS SCADE KCG 代码生成器是经 DO-178B 认证的 开发工具，因此代码对应输入模型的一 致性非常可靠，无需在编码阶段开展验 证工作。SCADE 基于模型的方法可帮助 系统工程师为每一项功能自动建模，并 在制作真实硬件之前在主机上检查其性 能状况。 创建模型 在有文本文档的情况下，SCADE 模 型是由工程师根据功能要求彻底从头创 建而成，而在有可用的 Simulink 模型的 情况下，SCADE 模型则是通过 Simulink Gateway 自动创建而成。SCADE 要求管 理网关可用于连接要求和 SCADE 模型中 的嵌入式系统