@inbook{2cd5139fe9f84933bd0326fd1e28574c,
title = "Towards a tool: TIMES-pro for modeling, analysis, simulation and implementation of cyber-physical systems",
abstract = "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{\textquoteright}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.",
keywords = "Automated code generation, Cyber-physical System, Real-time simulation, Timing analysis",
author = "Jakaria Abdullah and Gaoyang Dai and Nan Guan and Morteza Mohaqeqi and Wang Yi",
note = "Publisher Copyright: {\textcopyright} 2017, Springer International Publishing AG.",
year = "2017",
doi = "10.1007/978-3-319-63121-9\_31",
language = "英语",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "623--639",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "德国",
}