文献

J-GLOBAL ID：201702241161353691   整理番号：17A0798800

論理プログラミングに基づく車載時間依存ネットワーク(TSN)の形式的に検証可能なモデル化【Powered by NICT】

Formally verifiable modeling of in-vehicle time-sensitive networks (TSN) based on logic programming

著者 (3件)： Farzaneh Morteza Hashemi (Robotics and Embedded Systems, Technische Universitaet Muenchen, Boltzmannstr. 3, 85748 Garching bei Muenchen) ,  Shafaei Sina (Robotics and Embedded Systems, Technische Universitaet Muenchen, Boltzmannstr. 3, 85748 Garching bei Muenchen) ,  Knoll Alois (Robotics and Embedded Systems, Technische Universitaet Muenchen, Boltzmannstr. 3, 85748 Garching bei Muenchen)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： VNC  ページ： 1-4  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 自律運転のような新しい応用に関与するアクチュエータとコントローラ,車載センサ数の増加は,レイテンシ,帯域幅,信頼性のような不均一非機能的要求を満たすために新しい通信技術が必要である。時間に敏感なネットワーキング(TSN)はイーサネット技術に基づく混合臨界を支援するために定義された電気電子学会(IEEE)の開発における新しい基準の集合である。この技術は最近自動車領域の大きな注目が高まっている。しかし,TSN基準に関連したアプリケーション要求の相互影響はまだマスタに複雑な問題のままである。例えば,既存の複雑な自動車ネットワークを考慮した,技術者は,他の既存の重要な用途の新しいセンサを添加することの影響の可能性を注意深く解析した。すべての要求の満たすを検証したことをこのようなネットワークを構成する必要がある。この問題を対象に,論理プログラミング(LP)に基づくモデリングアプローチは,車載TSNネットワークに焦点を当てたより効率的な構成と検証プロセスを支援するために開発した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 信頼性 ,  *モデリング ,  センサ ,  *論理プログラミング ,  通信技術 ,  IEEE ,  待ち時間 ,  *時間依存性 ,  アクチュエータ ,  自動車 ,  帯域幅 ,  *ネットワーク ,  Ethernet ,  応用プログラム
準シソーラス用語： ネットワーキング , 【Automatic Indexing@JST】

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (6件)： 論理プログラミング ,  車載 ,  時間依存 ,  形式 ,  検証 ,  モデル化