文献

J-GLOBAL ID：201802222119078524   整理番号：18A1772246

DLに基づくCPSモデリングと検証のためのフレームワーク【JST・京大機械翻訳】

A Framework for CPS Modeling and Verification Based on dL

著者 (4件)： Zhou Ying (School of Computer Science and Engineering, Southeast University, Nanjing, 211189, China) ,  Gong Xufang (School of Computer Science and Engineering, Southeast University, Nanjing, 211189, China) ,  Li Bixin (School of Computer Science and Engineering, Southeast University, Nanjing, 211189, China) ,  Zhu Min (School of Computer Science and Engineering, Southeast University, Nanjing, 211189, China)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2018  号： ICIS  ページ： 173-179  発行年： 2018年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： センサネットワークと組込みシステムの開発により,CPS統合計算,通信と制御が次第に注目されている。CPSが様々な産業に適用されたとき,明らかな問題が出現した。設計したCPSは期待通りに動作できることが重要である。検証技術がシステムのセキュリティと信頼性の改善に重要な役割を果たしているので,CPSの特性検証に関する研究者数の増加が懸念されている。それは,一般的モデルを検証のための形式的モデルに変換する一般的に使用される方法である。定理証明の形式的方法は,Aによって提案されたハイブリッドプログラムと呼ばれるモデルを操作する差動的論理に基づくCPSを検証するためによく適用された。Platzer.本論文は,CPSをモデル化するためにHybridUMLを導入して,HybridUMLからハイブリッドプログラムまでマップ化したモデル変換に基づく方法を提示して,最終的に結果としてのモデルによる事例研究を確かめた。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 信頼性 ,  *モデリング ,  定理証明 ,  事例研究 ,  センサネットワーク ,  組込みシステム
準シソーラス用語： モデル変換 ,  システムセキュリティ , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (4件)： DL ,  モデリング ,  検証 ,  フレームワーク