ASSERTTMを用いた飛行臨界ソフトウェアとシステムの開発【Powered by NICT】

Siu Kit; Moitra Abha; Durling Michael; Crapo Andy; Li Meng; Yu Han; Herencia-Zapana Heber; Castillo-Effen Mauricio; Sen Shiraj; McMillan Craig; Russell Daniel; Roy Sundeep; Manolios Panagiotis

文献

J-GLOBAL ID：201702213714627502 整理番号：17A1773983

ASSERTTMを用いた飛行臨界ソフトウェアとシステムの開発【Powered by NICT】

Flight critical software and systems development using ASSERTTM

出版者サイト複写サービスで全文入手 {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=17A1773983&COPY=1") }}
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=17A1773983&from=J-GLOBAL&jstjournalNo=W2441A") }}

著者 (13件)： , , , , , , , , , , , ,
資料名：
巻： 2017 号： DASC ページ： 1-10 発行年： 2017年
JST資料番号： W2441A 資料種別：会議録 (C)
記事区分：原著論文発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

制御,監視と飛行臨界生成物を保護することをソフトウェアに関連したサイズと複雑さは増加し続けている。は複合体である自律システムの使用増加により複雑になっているそれ以上に,ためになる,多くの運転員の責任感は無人システムにおけるソフトウェアによって支持され,置換されたからである。さらに,これらのシステムはサイバー可能な攻撃に曝されている,セキュリティを確保するために別のレベル複雑なソフトウエアを必要とした。General Electric社は,設計,開発,およびこれらのソフトウェア集約製品の検証課題に対処するためにツールの新しい組を研究,開発することチーム注いできた。目標は,技術,プロセス,コストとサイクル時間によって測定したより効率的なソフトウェアとシステム開発をもたらすツールを開発し,自律性と産業用インターネットのような新しい能力を可能にした。形式要求獲得,要求分析,自動テスト生成にGEアプローチを紹介する。ASSERTTMツール鎖(意味論的仕様の解析と要求ベース試験の効率的生成)を紹介する。自律空中検査システムに及ぼす工具の側面を示した。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】

人工知能 , 計算機システム開発

, , ,

前のページに戻る