文献

J-GLOBAL ID：201802280708615757   整理番号：18A1256942

試験と安全認証の間のギャップの橋渡し【JST・京大機械翻訳】

Bridging the gap between testing and safety certification

著者 (3件)： Gannous Aiman (Department of Computer Science, University of Denver, Denver, CO, USA) ,  Andrews Anneliese (Department of Computer Science, University of Denver, Denver, CO, USA) ,  Gallina Barbra (IDT, MRTC, Maelardalen University, Vaestera&s, Sweden)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2018  号： AERO  ページ： 1-18  発行年： 2018年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： DO-178Cとその補助DO-331は,モデル駆動開発アプローチが使用されるとき,航空機搭載ソフトウェアシステムの開発のために達成されるべき目標のセットを提供する。フェイル-セーフMBTは,最近提案された安全性-臨界システムをテストするためのモデルベース手法である。フェイル-セーフMBTは,航空ソフトウェアの開発のために採用されるべき議論を必要とする潜在的な革新的試験プロセスである。本論文では,安全事例アプローチを採用することにより,産業の設定と学術的設定の間のギャップを低減し,標準によるFail-セーフMBT適合性を議論することを目的とした実証データを導出した。ソフトウェアプロセスエンジニアリングメタモデル2.0に従って,Fail-SampMBTプロセスを説明し,次に,Autoilotシステムに対して,Fail-SampMBTを適用した。最終的に,著者らは,Fail-安全MBT出力をDO-178/DO-331プロセス要素にリンクして,次に著者らは認証目的を達成するための強制的議論をサポートするために,Fail-安全MBT出力からの実証を導き出した。したがって,著者らは,アイゾニック領域におけるFail-SampMBTの検証を提供する。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 航空輸送 ,  適応性 ,  ソフトウェア ,  安全性 ,  *認証 ,  臨界
準シソーラス用語： モデルベース ,  ソフトウェアシステム ,  航空機搭載 ,  *安全性証明 , 【Automatic Indexing@JST】

分類 (4件)： 計器,誘導・制御装置一般  (QK05010O) ,  システムプログラミング一般  (JD03010Y) ,  電装品  (QG03070C) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (3件)： 試験 ,  安全認証 ,  ギャップ