Simulating Timing Behaviors for Cyber-Physical Systems Using Modelica

Simulating Timing Behaviors for Cyber-Physical Systems Using Modelica

Hao Zhou, Mengyao Zhao, Linbo Wu, Xiaohong Chen
Copyright: © 2019 |Volume: 11 |Issue: 3 |Pages: 24
ISSN: 1942-9045|EISSN: 1942-9037|EISBN13: 9781522565581|DOI: 10.4018/IJSSCI.2019070103
Cite Article Cite Article

MLA

Zhou, Hao, et al. "Simulating Timing Behaviors for Cyber-Physical Systems Using Modelica." IJSSCI vol.11, no.3 2019: pp.44-67. http://doi.org/10.4018/IJSSCI.2019070103

APA

Zhou, H., Zhao, M., Wu, L., & Chen, X. (2019). Simulating Timing Behaviors for Cyber-Physical Systems Using Modelica. International Journal of Software Science and Computational Intelligence (IJSSCI), 11(3), 44-67. http://doi.org/10.4018/IJSSCI.2019070103

Chicago

Zhou, Hao, et al. "Simulating Timing Behaviors for Cyber-Physical Systems Using Modelica," International Journal of Software Science and Computational Intelligence (IJSSCI) 11, no.3: 44-67. http://doi.org/10.4018/IJSSCI.2019070103

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

Cyber-physical systems (CPSs) connect the cyber world with the physical world through a network of interrelated elements, such as sensors and actuators, robots, and other computing devices. Timing constraints on the interactions (timing behaviors) should be modelled and verified as cyber-physical systems are becoming more and more complex. This article proposes modeling the typical timing behaviors according to their time characteristics, periodicity, multiform time, and synchronization, and verifies them against properties using simulations. Sequence diagrams are presented for the modeling, and modelica is used for simulation. In the simulation, the time dependence relations are defined, and used for simulation parameter data automatic generation, in addition to the paths from the sequence diagrams. Finally, a Parachute System is used as an example to show the feasibility and effectiveness of the approach.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.