Sökning: 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 (författare)
- Uppsala universitet,Datorteknik
-
- Dai, Gaoyang (författare)
- Uppsala universitet,Datorteknik
-
- Guan, Nan (författare)
- Northeastern Univ, Shenyang, Liaoning, Peoples R China.
-
visa fler...
-
- Mohaqeqi, Morteza (författare)
- Uppsala universitet,Datorteknik
-
- Wang, Yi (författare)
- Uppsala universitet,Datorteknik
-
visa färre...
-
(creator_code:org_t)
- 2017-07-25
- 2017
- Engelska.
-
Ingår i: MODELS, ALGORITHMS, LOGICS AND TOOLS. - Cham : SPRINGER INTERNATIONAL PUBLISHING AG. - 9783319631219 - 9783319631202 ; , s. 623-639
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Cyber-Physical System
- Timing analysis
- Real-time simulation
- Automated code generation
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas