TY - CHAP
T1 - Towards a tool
T2 - 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
N1 - Publication details (e.g. title, author(s), publication statuses and dates) are captured on an “AS IS” and “AS AVAILABLE” basis at the time of record harvesting from the data source. Suggestions for further amendments or supplementary information can be sent to [email protected].
PY - 2017
Y1 - 2017
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 - https://www.scopus.com/pages/publications/85028028014
UR - https://www.scopus.com/record/pubmetrics.uri?eid=2-s2.0-85028028014&origin=recordpage
U2 - 10.1007/978-3-319-63121-9_31
DO - 10.1007/978-3-319-63121-9_31
M3 - RGC 12 - Chapter in an edited book (Author)
VL - 10460
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)
PB - Springer Verlag
ER -