文献

J-GLOBAL ID：201702274766263644   整理番号：17A1779805

時間トリガシステムのシステムのための検証フレームワーク【Powered by NICT】

Validation Framework for Time-Triggered System-of-Systems

著者 (3件)： Murshed Ayman ,  Abuteir Mohammed ,  Obermaisser Roman
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ICPET  ページ： 103-108  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： リアルタイム通信ネットワークを用いたシステムオブシステム(SoS)はヘルスケアシステムにおける自動車,医療モニタリングと遠隔医療のような多くの安全関連応用分野のためのより重要性を増している。本論文では,実時間要求を発生させて,それらのそれぞれの通信スケジュールと時間トリガと速度制約の両方メッセージの適用シナリオをシミュレートできるシミュレーション枠組みを紹介した。応用はSoSにおける経時的導入されるシナリオを発生させた。その後,入力はOPNETを用いてシミュレートされるスケジュールのトレースを生成する増分スケジューラで時間とともに処理した。構成システムのためのインクリメンタルスケジューリング問題は,IBM CPLEXを用いた混合整数線形計画法(MILP)問題として定式化した。添加では,シミュレーションフレームワークはスケジュール可能性と実行時間の評価,時間トリガとレート制約付きメッセージの最悪ケース遅延の評価をもとに検証機能を提供する。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 自動車 ,  通信 ,  *遠隔医療 ,  安全性 ,  シミュレーション ,  ネットワーク ,  定式化
準シソーラス用語： 実行時間 ,  シミュレーションフレームワーク ,  混合整数線形計画法 ,  スケジューラ ,  OPNET ,  実時間 ,  リアルタイム通信 , 【Automatic Indexing@JST】

分類 (1件)： 医用情報処理  (JE15030Q)

タイトルに関連する用語 (3件)： トリガ ,  検証 ,  フレームワーク