文献

J-GLOBAL ID：201702245744145835   整理番号：17A1722350

抽象状態機械を利用した分散航空電子機器プラットフォームのための自動試験アーチファクト生成【Powered by NICT】

Automated test artifact generation for a distributed avionics platform utilizing abstract state machines

著者 (3件)： Mueller Peter (Institute of Aircraft Systems (ILS), University of Stuttgart, Pfaffenwaldring 27, 70569 Stuttgart, Germany) ,  Belschner Tim (Institute of Aircraft Systems (ILS), University of Stuttgart, Pfaffenwaldring 27, 70569 Stuttgart, Germany) ,  Reichel Reinhard (Institute of Aircraft Systems (ILS), University of Stuttgart, Pfaffenwaldring 27, 70569 Stuttgart, Germany)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： AUTOTESTCON  ページ： 1-8  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： フライ-バイ-ワイヤのような複雑で高度に安全性が重要な航空電子機器システムの開発は,高い努力,リスク,コストと結合したtypicaUyである。特に認証に関して検証におけるテスト活性が主要な役割を果たしている。本論文では,抽象状態機械(ASM)を用いた試験アーチファクト生成の自動化複合体,システムとソフトウェア試験のための統一的アプローチを紹介した。ベースラインは現在研究所Stuttgart大学の航空機システム(ILS)の開発中の柔軟なプラットフォーム技術(プラットフォームベースの開発アプローチ)である。残りの自動化複合体は認証関連文書化,すなわち要求の自動生成である。これら三つの錯体はリスクとコストを軽減すると同時に,複雑なアビオニクスシステムのための効果的なトータルシステム能力の基礎を築くAAAプロセスを確立した。実際の試験アーチファクト生成は航空業界で使用されている開発標準に配列があることが分かった。要件は,テキスト表現だけでなく仕様モデル,ASMによって表現したクラスとして存在していた。モデルにより記述されるような,機能的挙動をテストケース生成のための試験オラクルとして役立つ。このためモデルをグラフシステム,選択試験法による計装に変換され,実行される。得られたトレースデータはスクリプト,HiLシミュレーションの試験インフラストラクチャ内直接実行可能として対応する試験環境を考慮した試験手順を自動的に導出に使用した。さらにこれは関連するトレーサビリティデータと試験仕様文書の自動生成を含んでいる。発生ツールチェインにおける個々の作業のexchangeabiUtyを支援するために定義されている初期フレームワーク。アプローチの実現可能性は,システムレベルでも高レベルでそれぞれプラットフォーム,典型的な航空電子システムの完全な不均一信号通信を試験することによって実証した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： ソフトウェア ,  *自動試験 ,  自動化 ,  認証 ,  *アーチファクト ,  *航空電子機器 ,  フライ-バイ-ワイヤ ,  信号伝送 ,  シミュレーション ,  航空機 ,  安全性 ,  インフラストラクチャー ,  *航空輸送
準シソーラス用語： 自動生成 ,  *抽象機械 , 【Automatic Indexing@JST】

分類 (2件)： 計算理論  (JB02000A) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (5件)： 抽象状態機械 ,  航空電子機器 ,  プラットフォーム ,  自動試験 ,  アーチファクト