uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Northeastern Univ, Shenyang, Liaoning, Peoples R China..
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Show others and affiliations
2017 (English)In: MODELS, ALGORITHMS, LOGICS AND TOOLS: ESSAYS DEDICATED TO KIM GULDSTRAND LARSEN ON THE OCCASION OF HIS 60TH BIRTHDAY / [ed] Aceto, L Bacci, G Bacci, G Ingolfsdottir, A Legay, A Mardare, R, SPRINGER INTERNATIONAL PUBLISHING AG , 2017, p. 623-639Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
SPRINGER INTERNATIONAL PUBLISHING AG , 2017. p. 623-639
Series
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 10460
Keywords [en]
Cyber-Physical System, Timing analysis, Real-time simulation, Automated code generation
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:uu:diva-365175DOI: 10.1007/978-3-319-63121-9_31ISI: 000441452500031ISBN: 978-3-319-63121-9 (electronic)ISBN: 978-3-319-63120-2 (print)OAI: oai:DiVA.org:uu-365175DiVA, id: diva2:1261994
Conference
Conference on Models, Algorithms, Logics and Tools in Honour of Kim G. Larsen on the Occasion of his 60th Birthday, AUG 19-20, 2017, Aalborg Univ, Aalborg, DENMARK
Available from: 2018-11-09 Created: 2018-11-09 Last updated: 2018-11-09Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records BETA

Abdullah, JakariaDai, GaoyangMohaqeqi, MortezaWang, Yi

Search in DiVA

By author/editor
Abdullah, JakariaDai, GaoyangMohaqeqi, MortezaWang, Yi
By organisation
Computer Systems
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 288 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf