文献

J-GLOBAL ID：202202268101196392   整理番号：22A1105444

VRM要求モデルのためのシミュレーションフレームワーク【JST・京大機械翻訳】

A Simulation Framework for VRM Requirement Model

著者 (4件)： Zhan WanLi (College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China) ,  Hu Jun (College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China) ,  Wang LiSong (College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China) ,  Lv JiaRun (College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China)
資料名： Lecture Notes in Electrical Engineering  (Lecture Notes in Electrical Engineering)
巻： 878  ページ： 901-909  発行年： 2022年 
JST資料番号： W5070A  ISSN： 1876-1100  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： モデルシミュレーションは,実際のシステムの参加なしで様々な実験を通してシステム設計問題を発見し,改良できる研究方法である。セキュリティクリティカルシステムと航空電子工学の分野で,一連のセキュリティ問題は,しばしば大規模で複雑なシステム要求によって発生する。本論文では,VRM形式要求モデルに対するシミュレーションフレームワークを提案し,システム要求の設計段階中に発生する問題を発見,解いた。本研究では,VRMモデルの各成分を包括的に解析し,シミュレーションシーケンスを構築し,シミュレーションイベント伝搬システム制約を実行し,実時間でシステムモデル状態を表示するためのSysMLモデルに依存する。フレームワークは,VRM形式要求モデルを使用することによって自然言語要求の曖昧さを解決して,エミュレータが,ケースダイヤグラムを通してシミュレーション行動を築き上げて,洗練するのを助けるために,いくつかのSysMLモデリング方法を設計する。Copyright The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *シミュレーション ,  設計 ,  航空輸送 ,  システム ,  システム設計 ,  システムモデル ,  自然言語 ,  *モデル ,  電子技術 ,  エミュレータ ,  曖昧さ ,  セキュリティ ,  *フレームワーク【ソフトウェア開発】
準シソーラス用語： 実時間 ,  モデルシミュレーション , 【Automatic Indexing@JST】

著者キーワード (5件)： モデルシミュレーション ,  VRM ,  SysML ,  モード ,  シミュレーション挙動

分類 (2件)： データ保護  (JD01020V) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (2件)： モデル ,  シミュレーションフレームワーク