TY - CHAP
T1 - Towards a tool: TIMES-pro for modeling, analysis, simulation and implementation of cyber-physical systems
AU - Abdullah, Jakaria
AU - Dai, Gaoyang
AU - Guan, Nan
AU - Mohaqeqi, Morteza
AU - Yi, Wang
PY - 2017/1/1
Y1 - 2017/1/1
N2 - We consider a Cyber-Physical System (CPS) as a network of components that are either physical plants with continuous behaviors or discrete controllers. To build CPS’s in a systematic manner, the TIMES-Pro tool is designed to support modeling, analysis and code generation for real-time simulation and final deployment. In this paper, we present our decisions in designing the modeling language, the tool architecture and features of TIMES-Pro, and also a case study to demonstrate its applicability.
AB - We consider a Cyber-Physical System (CPS) as a network of components that are either physical plants with continuous behaviors or discrete controllers. To build CPS’s in a systematic manner, the TIMES-Pro tool is designed to support modeling, analysis and code generation for real-time simulation and final deployment. In this paper, we present our decisions in designing the modeling language, the tool architecture and features of TIMES-Pro, and also a case study to demonstrate its applicability.
KW - Automated code generation
KW - Cyber-physical System
KW - Real-time simulation
KW - Timing analysis
UR - http://www.scopus.com/inward/record.url?scp=85028028014&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-63121-9_31
DO - 10.1007/978-3-319-63121-9_31
M3 - Chapter in an edited book (as author)
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 623
EP - 639
BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ER -