Towards a tool: TIMES-pro for modeling, analysis, simulation and implementation of cyber-physical systems

Jakaria Abdullah, Gaoyang Dai, Nan Guan, Morteza Mohaqeqi, Wang Yi

Research output: Chapter in book / Conference proceedingChapter in an edited book (as author)Academic researchpeer-review

3 Citations (Scopus)

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’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.
Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages623-639
Number of pages17
DOIs
Publication statusPublished - 1 Jan 2017
Externally publishedYes

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10460
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Keywords

  • Automated code generation
  • Cyber-physical System
  • Real-time simulation
  • Timing analysis

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this