フライバイワイヤプラットフォームのためのシステムと高水準ソフトウェア要求の検証のための自動テストケース生成【JST・京大機械翻訳】

Block Christian; Dikmen Serkan; Reichel Reinhard

文献

J-GLOBAL ID：202202261083606703 整理番号：22A0652741

フライバイワイヤプラットフォームのためのシステムと高水準ソフトウェア要求の検証のための自動テストケース生成【JST・京大機械翻訳】

Automated Test Case Generation for the Verification of System and High-Level Software Requirements for Fly-by-Wire Platforms

出版者サイト複写サービスで全文入手
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=22A0652741&from=J-GLOBAL&jstjournalNo=H0236B") }}

著者 (3件)： , ,
資料名：
巻： 2022 号： AIAA SCITECH 2022 Forum ページ： 0254 発行年： 2022年
JST資料番号： H0236B 資料種別：会議録 (C)
記事区分：原著論文発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

安全クリティカルアビオニクスシステムは,開発と資格のための大きな努力を必要とする。それらは,空気タクシーや先進,有人または無人CS-23航空機のような航空機概念の複雑な飛行制御システムに必要である。これらの航空機を広範な採用のために手頃なものにするために,それらの航空会社システムのコストの大幅な削減が必要である。この目的のために,Stuttgart大学の航空機システムの研究所は,柔軟なAvionsプラットフォームを開発し,分散,統合,冗長,高安全クリティカルシステムのインスタント化を可能にした。プラットフォームの中心要素は,すべてのハードウェアモジュールに関するプラットフォーム管理ソフトウェア層の導入であった。モデル駆動工学原理を利用するAAAプロセスを用いて,プラットフォームインスタンスの不変性を行った。それは,プラットフォームソフトウェアを高度に自動化して,テストケースと同様に,対応する要求文書を作り出して,それらに基づいて,自動的に実行可能なテストスクリプトを,自動的に実行することができた。本論文の焦点は,任意の柔軟なAvionsプラットフォームインスタンスのためのシステムおよび高レベルソフトウェア試験のためのテストケース生成である。各要求に基づいて,試験入力の適切なセットを自動的に決定し,システム挙動のシミュレーションを通して,試験事例を得た。このプロセスを,フライバイワイヤシステムに対する代表的なプラットフォーム事例で検証した。Please refer to the publisher for the copyright holders. Translated from English into Japanese by JST.【JST・京大機械翻訳】

, , , , , , , , , , , , ,
, 【Automatic Indexing@JST】

航空機 , 無線通信一般 , 計器,誘導・制御装置一般 , 航空機の運動性・安定性・操縦性

, , ,

前のページに戻る