文献

J-GLOBAL ID：201602275682376423   整理番号：16A1045707

DO-333襟縫翼制御ユニットの安全性解析に向けて【JST・京大機械翻訳】

Safety Analysis of Slat and Flap Control Unit for DO-333

著者 (4件)： Chen Guangying (College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics) ,  Huang Zhiqiu (College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics) ,  Chen Zhe (College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics) ,  Kan Shuanglong (College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics)
資料名： Jisuanji Kexue  (Jisuanji Kexue)
巻： 43  号： 5  ページ： 150-156,161  発行年： 2016年 
JST資料番号： C2530A  ISSN： 1002-137X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： DO-333は航空機搭載ソフトウェア安全性標準DO-178Cの形式的方法の補完に関して,航空機搭載ソフトウェアの開発過程における形式的手法の使用のために指導を提供することである。モデルの検証は形式的手法の1つとして,ソフトウェア要求と設計段階で製品の厳密な検証に応用できる。に基づくDO-333,モデル検定を用いて飛行制御システムにおける襟縫翼制御ユニットの異なる段階でのソフトウェア製品に対して検証と分析を行い,そのDO-178Cの相関検証目標を満たす証拠サポートを提供するかどうかを判定する。まず,制御ユニットにおけるフラップとスラットの必要と排他的更新の高級需要に対して仕様と検証を行った;次に,単一翼制御論理の低級需要に対して仕様と検証を行った。以上の検証と分析により,それぞれ標準における高級と低級の需要についての検証標的のための証拠を提供した。本文ではモデル検定は1つの航空機搭載ソフトウェアの認証における応用例を示し,この作業を航空機搭載ソフトウェアの保障の安全性と耐空性認証のための技術サポートを提供する。Data from the ScienceChina, LCAS.【JST・京大機械翻訳】

シソーラス用語： 認証 ,  フラップ ,  *安全解析 ,  スラット ,  ソフトウェア ,  飛行制御 ,  耐空性 ,  *安全性 ,  ソフトウェア商品 ,  *制御装置
準シソーラス用語： 開発プロセス ,  航空機搭載 , 【Automatic Indexing@JST】

著者キーワード (5件)： Airworthiness certification ,  Formal methods ,  Model checking ,  Aircraft software ,  SPIN

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (5件)： DO ,  襟 ,  翼 ,  制御ユニット ,  安全性解析