Search: onr:"swepub:oai:DiVA.org:uu-365175" >
Towards a Tool :
Towards a Tool : TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems
-
- Abdullah, Jakaria (author)
- Uppsala universitet,Datorteknik
-
- Dai, Gaoyang (author)
- Uppsala universitet,Datorteknik
-
- Guan, Nan (author)
- Northeastern Univ, Shenyang, Liaoning, Peoples R China.
-
show more...
-
- Mohaqeqi, Morteza (author)
- Uppsala universitet,Datorteknik
-
- Wang, Yi (author)
- Uppsala universitet,Datorteknik
-
show less...
-
(creator_code:org_t)
- 2017-07-25
- 2017
- English.
-
In: MODELS, ALGORITHMS, LOGICS AND TOOLS. - Cham : SPRINGER INTERNATIONAL PUBLISHING AG. - 9783319631219 - 9783319631202 ; , s. 623-639
- Related links:
-
https://urn.kb.se/re...
-
show more...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- 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.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Keyword
- Cyber-Physical System
- Timing analysis
- Real-time simulation
- Automated code generation
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
To the university's database