Towards a Tool : TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems

• 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)