文献

J-GLOBAL ID：201402277510074800   整理番号：13A1912987

サイバー物理システムのための統一モデリング言語モデルにおける静的特性の検証

Validation of static properties in unified modeling language models for cyber physical systems

著者 (3件)： Magureanu Gabriela (Dep. of Computers, Automation and Computers Fac., “Politehnica” Univ. of Timisoara, Timisoara, ROM) ,  Gavrilescu Madalin (Dep. of Computers, Automation and Computers Fac., “Politehnica” Univ. of Timisoara, Timisoara, ROM) ,  Pescaru Dan (Dep. of Computers, Automation and Computers Fac., “Politehnica” Univ. of Timisoara, Timisoara, ROM)
資料名： Journal of Zhejiang University - Science C. Computers & Electronics  (Journal of Zhejiang University - Science C. Computers & Electronics)
巻： 14  号： 5  ページ： 332-346  発行年： 2013年 
JST資料番号： W2285A  ISSN： 1869-1951  CODEN： JZUSCO  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 英語 (EN)

抄録/ポイント： サイバー物理システム(CPS)は活動の様々な分野で,最近見受けられる。多数のアプリケーションによって証明された,これらのシステムの関心の高まりは,設計と開発のための最も適切な方法に関連した,複雑な研究につながった。仕様,可視化,およびCPSはの文書化のための有望な解決策として,統一モデリング言語(UML)のオブジェクトマネジメントグループ(OMG)のを使用した。UMLモデルが,要件を指定するには,エンドユーザーを支援し,組み込みシステム設計のための直感的アプローチを可能にした。しかしながら,UMLモデルを非公式の言葉で表現した。従って,システム設計の正確さと完全性を検証することは困難である。オブジェクト制約言語(OCL)は,UMLに制約を追加するように定義されていますが,厳密な分析と仕様についての推論を可能にする,数学と論理の厳密な表記が不足していた。本論文で,著者らはUML配置図を使用してモデル化したCPSのアプリケーションが正式に表明され,検証されたかを検討した。著者らは,フォーマル検証ツールとして,Z言語構造とプロトタイプ検証システム(PVS)を使用した。文献に提示された,いくつかの関連したケーススタディを考えて,著者らは,CPS UMLモデル内の静的特性の検証のためにこのアプローチをする機会を調査した。Data from the ScienceChina, LCAS. Translated by JST

シソーラス用語： 仮想空間 ,  *物理学 ,  UML【モデリング言語】 ,  言語モデル ,  静特性 ,  応用プログラム ,  システム ,  利用者 ,  事例研究 ,  システム設計 ,  組込みシステム
準シソーラス用語： アプリケーション ,  エンドユーザ ,  ケーススタディ ,  静的特性 ,  統一モデリング言語

分類 (1件)： システム・制御理論一般  (IA02010H)

タイトルに関連する用語 (5件)： 物理 ,  統一モデリング言語 ,  モデル ,  静的特性 ,  検証