Abstract
Cyber-Physical Systems (CPS) are real-world systems that use a cyber part to control a physical part; hybrid systems are virtual-world systems to model CPS. In this paper we address several problems related to CPS-design and argue advantages of a Model-Driven Developing (MDD) approach to CPS-design. We study a simple car stopping system and show that such systems can be modeled without any code writing. However, safety isn’t clear even for this simple system and testing/simulation isn’t sufficient to prove safety, but CPS MDD should be supported by a formal verification also. We examine modeling, simulation and verification tools and show how our approach can be applied. We also introduce a concept of cyber-physical Believe-Desire-Intention (BDI) agent and demonstrate how cooperative agents of this type can predict locations of partners.
Original language | English |
---|---|
Pages (from-to) | 74-91 |
Number of pages | 18 |
Journal | CEUR Workshop Proceedings |
Volume | 2478 |
Publication status | Published - 1 Jan 2019 |
Event | 2019 Modeling and Analysis of Complex Systems and Processes Workshop, MACSPro 2019 - Vienna, Austria Duration: 21 Mar 2019 → 23 Mar 2019 |
Keywords
- Believe-desire-intention agents
- Cyber-physical systems
- Model-driven developing