|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/15495
|
| タイトル: | Simple and proximate time model framework of cyber-physical systems |
| 著者: | FANG, Yuan
LI, Cheng
LIM, Yuto
TAN, Yasuo |
| キーワード: | Proximate Time Model
System of Systems
Cyber-Physical Systems
Time Automata
iHouse |
| 発行日: | 2018-01-23 |
| 出版者: | The Institute of Electronics, Information and Communication Engineers (IEICE) |
| 誌名: | IEICE Technical Report |
| 巻: | 117 |
| 号: | 426 |
| 開始ページ: | 109 |
| 終了ページ: | 114 |
| 抄録: | With the rapid development technologies of computing, communication and intelligent control, the emergence of Cyber-Physical systems (CPS) is becoming increasingly popular these days. Many CPS applications that are used in safety and mission critical scenarios, such as healthcare system in nature should be verified to meet the requirements of safe and operational before their deployment. Therefore, the modeling and analysis play an important part of the safety and mission critical system of systems (SoS) development in CPS. In this paper, a simple and proximate time model (SPTimo) framework is proposed for non-real-time critical CPS applications to meet the requirements of modeling and analysis with minimum cost and time. The feasibility of the time modeling method for iHouse that is based on the SPTimo framework and UPPAAL tool is validated and discussed. |
| Rights: | Copyright (C) 2018 The Institute of Electronics, Information and Communication Engineers (IEICE). Yuan FANG, Cheng LI, Yuto LIM, and Yasuo TAN, IEICE Technical Report, 117(426), 2018, 109-114. |
| URI: | http://hdl.handle.net/10119/15495 |
| 資料タイプ: | publisher |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 24706.pdf | | 734Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
