Loading...

Simulation of hybrid reo connectors

Ardeshir Larijani, E ; Sharif University of Technology | 2020

404 Viewed
  1. Type of Document: Article
  2. DOI: 10.1109/RTEST49666.2020.9140111
  3. Publisher: Institute of Electrical and Electronics Engineers Inc , 2020
  4. Abstract:
  5. The prevalence of complex Cyber-Physical Systems (CPS) as an increasingly ubiquitous technology, necessitates the incorporation of component based and compositional design methods for the development and deployment of such systems. In this paper, we introduce a hybrid coordination framework to specify CPSs with components and use the resulting models to simulate, validate and verify those systems, using UPPAAL statistical model checker (SMC). We use SMC because with a level of uncertainty and unpredictability (e.g., the physical environment with which a CPS interacts), simulation-based verification approaches, where properties are guaranteed with a degree of confidence, produce more meaningful results. To demonstrate the main idea of our paper, we chose Reo as the language for the specification of hybrid components coordination, where both continuous and discrete state transitions can occur inside components. Next, we introduce a transformation that takes the specification of a connector in the language of hybrid Reo, into a network of hybrid timed automata, a commonly used semantic model in SMC. Finally, we report on the implementation of our transformation, and experimentation on two case studies. © 2020 IEEE
  6. Keywords:
  7. Component based system ; Cyber physical system ; Hybrid system ; Reo coordination language ; Statistical model checking
  8. Source: 3rd CSI/CPSSI International Symposium on Real-Time and Embedded Systems and Technologies, RTEST 2020, 10 June 2020 through 11 June 2020 ; 2020
  9. URL: https://ieeexplore.ieee.org/document/9140111