Model-driven methods to design of reliable multiagent cyber-physical systems

Sergey Staroletov, Nikolay Shilov, Vladimir Zyubin, Tatiana Liakh, Andrei Rozov, Ivan Konyukhov, Innokenty Shilov, Thomas Baar, Horst Schulte

Результат исследования: Научные публикации в периодических изданияхстатья по материалам конференции

Аннотация

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.

Язык оригиналаанглийский
Страницы (с-по)74-91
Число страниц18
ЖурналCEUR Workshop Proceedings
Том2478
СостояниеОпубликовано - 1 янв 2019
Событие2019 Modeling and Analysis of Complex Systems and Processes Workshop, MACSPro 2019 - Vienna, Австрия
Продолжительность: 21 мар 201923 мар 2019

    Fingerprint

Цитировать

Staroletov, S., Shilov, N., Zyubin, V., Liakh, T., Rozov, A., Konyukhov, I., Shilov, I., Baar, T., & Schulte, H. (2019). Model-driven methods to design of reliable multiagent cyber-physical systems. CEUR Workshop Proceedings, 2478, 74-91.