关于模型设计开发符合 DO-178B A级的飞行软件的开发和设计

cslehe

#111723#2011 年，当一系列风暴横扫纽约州南部时，约翰逊市的 BAE 体系公司的装备遭大水吞没，水量超越 1600 万加仑。大水形成的破坏包含：盘算机体系、文件和全部任务地区，要挟到很多正在停止的名目，这些名目包含开辟天下上第一个电传 (FBW) 中型商用飞机的飞翔把持盘算机 (FCC) 软件。
基于模子计划辅助 BAE 体系团队让名目从新回到正轨，并通过 DO-178B A级认证。

BAE 体系公司的重要飞翔把持盘算机。
挑衅
除了气象形成的破坏，BAE 体系公司的工程师们还面对着另一个预料以外的变乱。他们还须要承当统一架飞机的第二个名目：为另一个飞翔悠关级其余利用开辟软件。客户提出了成千上万的高等别请求，为满意这些请求，团队须要通过 Embedded Coder天生近 200,000 行代码，这些代码将与 OS 及利用顺序其他部份的手工代码集成。
BAE 体系公司采取了一种开辟方式，通过仿真、需要追溯、模子笼罩剖析和代码天生等方法支撑了 DO-178B 计划保障 (DAL) 级别 A 的认证。这类方式使他们可能无效地呼应需要变革和没法预感的变乱。
处理计划
BAE 体系公司工程师采取基于模子计划，用MATLAB、Simulink、Embedded Coder开辟这些利用顺序。他们曾应用这些东西来依照 DO-178 A 级请求开辟飞翔软件，这些软件利用在军事和商用飞机名目中。
客户通过 IBMRationalDOORS 中供给高等需要，工程师按此在Simulink中树立模子。
他们应用Simulink Requirements及其需要治理接口（RMI）供给 DOORS 的需要与Simulink模子的计划元素之间的可跟踪性。这类方式同时支撑开辟和认证。
为了模子的初期集成，团队应用客户供给的测试向量在Simulink中运转仿真。
BAE 团队应用Simulink Coverage剖析模子笼罩率，并肯定模子中未测试的元素。在筹备飞翔测试时，他们编写了额定的测试用例来笼罩全部未测试的元素。
团队将较小的模子集成到与软件系统构造分歧的更高层模子中，并应用Embedded Coder为两个模子天生利用顺序代码。
“当咱们应用 Embedded Coder 从 Simulink 模子天生代码时，接办代码的团队晓得成果十分好，由于它经由了调试，完整满意需要，而且通过了用户供给的 Simulink 测试向量的测试。这是名目上的一个宏大上风。”
——Harvey Maria Radecki, BAE Systems Electronic Solutions
经由代码检察和情势验证，飞机的飞翔悠关级别软件取得了联邦航空局（FAA）、欧洲航空保险局（EASA）和另一个羁系机构的认证，当初正在量产。
在大水以后，团队应用这个机遇进级他们的MATLAB、Simulink和Embedded Coder软件。他们还树立了建模语义的最好形式，以合乎以后东西集的开展偏向，包含应用模子援用和设置集。他们在一个新名目上实行了这些最好形式，该名目的范围大概是喷气式商务飞机名目的 10 倍。
成果
开辟效力更加。“基于模子计划比传统的手工编码方式效力要高 1.5 到 2 倍，”Weaver 说。“这一增加涵盖了软件性命周期的全部方面，从高等和初级需要到编码、集成和验证。”
认证按打算停止。“将需要与模子接洽起来，在 Simulink 中延续测试，用 Embedded Coder 天生合乎 DO-178B 级别 A 的产物代码，这是产物固然碰到波折但仍然按打算停止的要害。” BAE 体系公司的利用软件首席工程师 Maria Radecki 说,“将文本需要追溯到模子元素实现的才能在认证机构大获胜利。”
团队间相同更方便。“在全部名目中，咱们依托 Simulink 作为通讯前言，” Weaver 说。“美国、英国和巴西的团队都参加了这个名目。具体的、定量的 Simulink 测试向量和模子是高等需要的弥补，并使这些地舆上疏散的团队可能轻松地彼此相同。”
更多内容阅读推荐：电视为什么会黑屏