JAIST Repository >
School of Information Science >
Articles >
Journal Articles >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10119/15495
|
Title: | Simple and proximate time model framework of cyber-physical systems |
Authors: | FANG, Yuan LI, Cheng LIM, Yuto TAN, Yasuo |
Keywords: | Proximate Time Model System of Systems Cyber-Physical Systems Time Automata iHouse |
Issue Date: | 2018-01-23 |
Publisher: | The Institute of Electronics, Information and Communication Engineers (IEICE) |
Magazine name: | IEICE Technical Report |
Volume: | 117 |
Number: | 426 |
Start page: | 109 |
End page: | 114 |
Abstract: | 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 |
Material Type: | publisher |
Appears in Collections: | b10-1. 雑誌掲載論文 (Journal Articles)
|
Files in This Item:
File |
Description |
Size | Format |
24706.pdf | | 734Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|