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
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 SizeFormat
24706.pdf734KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.


Contact : Library Information Section, Japan Advanced Institute of Science and Technology