文献

J-GLOBAL ID：201702298906788340   整理番号：17A0066247

八に基づく襟縫翼制御システムの安全性解析【JST・京大機械翻訳】

Safety Analysis for Slats and Flaps Control Unit Based on Octagon Abstract Domain

著者 (5件)： Lu Chen (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) ,  Kan Shuanglong (College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics) ,  Cao Dejian (College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics) ,  Huang Chuanlin (College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics)
資料名： Xiaoxing Weixing Jisuanji Xitong  (Xiaoxing Weixing Jisuanji Xitong)
巻： 37  号： 5  ページ： 902-907  発行年： 2016年 
JST資料番号： C2136A  ISSN： 1000-1220  CODEN： XWJXEH  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 組込みソフトウェアは安全性の重要な領域に広く応用され、ソフトウェアの安全性を保障することは産業界と学術界に注目される重要な課題である。抽象的解釈は形式的方法としてプログラム変数の数値解析に一般的な枠組みを提供し、八の抽象化は抽象解釈の一つの関係値の抽象度であり、二つの変数間の数値関係を表すことができる。八に基づいて,プログラム変数の数値解析のためのプロトタイプツールを設計し,このツールを用いて,襟縫翼制御システムの安全性を研究した。抽象的解釈フレームワークを用いて,襟縫翼システムの割込み駆動をモデル化した。反復計算プログラムにおける各ノードの数値は不変量であり,検出プログラムには数値に関する誤りがある。解析結果に従って,誤りコードを位置決めした。本論文では、抽象解釈理論を航空制御ソフトウェアの安全分析に応用し、プログラム中の数値変数を自動分析する方法を提供した。Data from the ScienceChina, LCAS. Translated by JST【JST・京大機械翻訳】

シソーラス用語： モデリング ,  *安全解析 ,  制御プログラム ,  数値解析 ,  計算機プログラム ,  自動分析 ,  抽象解釈 ,  不変量 ,  *安全性 ,  *制御系 ,  航空輸送 ,  ソフトウェア ,  *システム安全性 ,  組込みソフトウェア

著者キーワード (4件)： abstract interpretation ,  octagon abstract domain ,  numerical analysis ,  aircraft controller software

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

タイトルに関連する用語 (4件)： 襟 ,  翼 ,  制御システム ,  安全性解析