Standard

Model-driven methods to design of reliable multiagent cyber-physical systems. / Staroletov, Sergey; Shilov, Nikolay; Zyubin, Vladimir et al.

In: CEUR Workshop Proceedings, Vol. 2478, 01.01.2019, p. 74-91.

Research output: Contribution to journal › Conference article › peer-review

Harvard

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, vol. 2478, pp. 74-91.

APA

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.

Vancouver

Staroletov S, Shilov N, Zyubin V, Liakh T, Rozov A, Konyukhov I et al. Model-driven methods to design of reliable multiagent cyber-physical systems. CEUR Workshop Proceedings. 2019 Jan 1;2478:74-91.

Author

Staroletov, Sergey ; Shilov, Nikolay ; Zyubin, Vladimir et al. / Model-driven methods to design of reliable multiagent cyber-physical systems. In: CEUR Workshop Proceedings. 2019 ; Vol. 2478. pp. 74-91.

BibTeX

@article{64b7fae48e3a44edb5fce0146331bb41,
title = "Model-driven methods to design of reliable multiagent cyber-physical systems",
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{\textquoteright}t clear even for this simple system and testing/simulation isn{\textquoteright}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.",
keywords = "Believe-desire-intention agents, Cyber-physical systems, Model-driven developing",
author = "Sergey Staroletov and Nikolay Shilov and Vladimir Zyubin and Tatiana Liakh and Andrei Rozov and Ivan Konyukhov and Innokenty Shilov and Thomas Baar and Horst Schulte",
note = "Publisher Copyright: Copyright {\textcopyright} 2019 for this paper by its authors.; 2019 Modeling and Analysis of Complex Systems and Processes Workshop, MACSPro 2019 ; Conference date: 21-03-2019 Through 23-03-2019",
year = "2019",
month = jan,
day = "1",
language = "English",
volume = "2478",
pages = "74--91",
journal = "CEUR Workshop Proceedings",
issn = "1613-0073",
publisher = "CEUR-WS",

}

RIS

TY - JOUR

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

AU - Staroletov, Sergey

AU - Shilov, Nikolay

AU - Zyubin, Vladimir

AU - Liakh, Tatiana

AU - Rozov, Andrei

AU - Konyukhov, Ivan

AU - Shilov, Innokenty

AU - Baar, Thomas

AU - Schulte, Horst

N1 - Publisher Copyright: Copyright © 2019 for this paper by its authors.

PY - 2019/1/1

Y1 - 2019/1/1

N2 - 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.

AB - 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.

KW - Believe-desire-intention agents

KW - Cyber-physical systems

KW - Model-driven developing

UR - http://www.scopus.com/inward/record.url?scp=85074568513&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:85074568513

VL - 2478

SP - 74

EP - 91

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

SN - 1613-0073

T2 - 2019 Modeling and Analysis of Complex Systems and Processes Workshop, MACSPro 2019

Y2 - 21 March 2019 through 23 March 2019

ER -

ID: 22361177