Simulating Timing Behaviors for Cyber-Physical Systems Using Modelica

Simulating Timing Behaviors for Cyber-Physical Systems Using Modelica

Hao Zhou (East China Normal University, Shanghai, China), Mengyao Zhao (East China Normal University, Shanghai, China), Linbo Wu (Institute of Computer Application, China Academy of Engineering Physics, Mianyang, China) and Xiaohong Chen (East China Normal University, Shanghai, China)
DOI: 10.4018/IJSSCI.2019070103

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.
Article Preview
Top

Introduction

Cyber-physical systems (CPSs) refer to a new generation of systems with integrated computational and physical capabilities that can interact with humans through many new modalities (Gupta, Kumar, Hansel, & Saini, 2013). The ability to interact with, and expand the capabilities of, the physical world through computation, communication, and control is a key enabler for future technology developments. Opportunities and research challenges include the design and development of next-generation airplanes and space vehicles, hybrid gas-electric vehicles, fully autonomous urban driving, and prostheses that allow brain signals to control physical objects. Control is time sensitive. So, the timing behaviors modeling and verification for CPSs is essential.

What is more, the time in CPSs is important to functional correctness. For example, in general-purpose software, the time it takes to perform a task is an issue of performance, not correctness. It is not incorrect to take longer to perform a task. It is merely less convenient and therefore less valuable. In CPS, the time it takes to perform a task may be critical to correct functioning of the system. Also, the data’s validity is strictly restricted by time. There are complex dependency relations on variables (data) and time. In CPSs, the timing behaviors have the following three characteristics:

  • Periodicity: CPSs are widely used to provide control over the physical process through control loops. They monitor the physical process through sensors and interact with the physical process through actuators. Due to the existence of the control loop, periodicity is inevitably generated.

  • Multiform time: The CPSs software is of logical time. CPSs face a variety of environments, including various devices, existing systems, and humans. Such an environment is of physical time, but it may be diverse in time description. For example, distance meters or angles can be used to describe time. Both physical time and logical time are covered. This is called multiform time.

  • Time synchronization: In the physical world, processes are rarely sequential. Physical processes are compositions of many parallel sub-processes. Measuring and controlling the dynamics of these processes by orchestrating actions that influence the processes are the main tasks of embedded systems. Consequently, synchronization between concurrency is intrinsic in CPSs.

Existing CPS timing behaviors modeling researches can be mainly divided into semi-formal modeling and formal modeling. Semi-formal modeling mainly refers to Unified Modeling Language (UML) (OMG, 2007) and its extended language modeling, including sequence diagram, timing diagram, clock constraint language CCSL and so on. For example, Choi et al. used a state machine with a MARTE annotation, a timing diagram, and a sequence diagram to describe the timing behaviors (Choi, Jee, & Bae, 2016). Semi-formal modeling is relatively easy to describe for timing behaviors, but the description is not accurate enough. Formal modeling mainly includes Timed Automata (Alur & Dill, 1994; Lynch & Vaandrager, 1996), Timed Communication Sequence Process (Timed CSP) (Schneider, 1995), Timed Petri Nets (Ramchandani, 1974), etc. For example, Sun et al. support the modeling and verification of real-time systems using the Stateful Timed CSP (Sun et al., 2013). Formal modeling is accurate, but it is difficult to grasp for people with high learning costs and poor mathematical foundations.

Complete Article List

Search this Journal:
Reset
Open Access Articles: Forthcoming
Volume 12: 4 Issues (2020): Forthcoming, Available for Pre-Order
Volume 11: 4 Issues (2019): 3 Released, 1 Forthcoming
Volume 10: 4 Issues (2018)
Volume 9: 4 Issues (2017)
Volume 8: 4 Issues (2016)
Volume 7: 4 Issues (2015)
Volume 6: 4 Issues (2014)
Volume 5: 4 Issues (2013)
Volume 4: 4 Issues (2012)
Volume 3: 4 Issues (2011)
Volume 2: 4 Issues (2010)
Volume 1: 4 Issues (2009)
View Complete Journal Contents Listing