Details
| Originalsprache | Englisch |
|---|---|
| Titel des Sammelwerks | Models@run.time |
| Untertitel | Proceedings of the 10th International Workshop on Models@run.time co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015) |
| Seiten | 71-80 |
| Seitenumfang | 10 |
| Publikationsstatus | Veröffentlicht - 16 Okt. 2015 |
| Veranstaltung | 10th International Workshop on Models@run.time, MRT 2015: co-located with the 18th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015 - Ottawa, Kanada Dauer: 29 Sept. 2015 → 29 Sept. 2015 |
Publikationsreihe
| Name | CEUR Workshop Proceedings |
|---|---|
| Herausgeber (Verlag) | CEUR Workshop Proceedings |
| Band | 1474 |
| ISSN (Print) | 1613-0073 |
Abstract
In many areas we find cyber-physical systems consisting of multiple software-controlled components that communicate to control complex physical processes. As customers demand increasingly rich functionality, the component interactions become more and more complex. We are developing a formal scenario-based method for specifying the inter-component behavior that extends the concepts of Live Sequence Charts. This method is intuitive, yet precise, and automated analysis capabilities help engineers deal with the aforementioned complexity. In particular, the execution via the play-out algorithm supports a simulation of the behavior emerging from the interplay of the scenarios. Deriving a distributed implementation from an inter-component specification, however, is a challenging task. An alternative is the play-out of the specification by the distributed system. In this paper, we present a distributed play-out approach where the components coordinate via MQTT, a protocol used in IoT applications.We demonstrate the approach by a Car-to-X example implemented on Raspberry Pi-based robots.
ASJC Scopus Sachgebiete
- Informatik (insg.)
- Allgemeine Computerwissenschaft
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
Models@run.time: Proceedings of the 10th International Workshop on Models@run.time co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015). 2015. S. 71-80 (CEUR Workshop Proceedings; Band 1474).
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
}
TY - GEN
T1 - Scenarios@run.time - Distributed execution of specifications on IoT-connected robots
AU - Greenyer, Joel
AU - Gritzner, Daniel
AU - Gutjahr, Timo
AU - Duente, Tim
AU - Dulle, Stefan
AU - Deppe, Falk David
AU - Glade, Nils
AU - Hilbich, Marius
AU - Koenig, Florian
AU - Luennemann, Jannis
AU - Prenner, Nils
AU - Raetz, Kevin
AU - Schnelle, Thilo
AU - Singer, Martin
AU - Tempelmeier, Nicolas
AU - Voges, Raphael
PY - 2015/10/16
Y1 - 2015/10/16
N2 - In many areas we find cyber-physical systems consisting of multiple software-controlled components that communicate to control complex physical processes. As customers demand increasingly rich functionality, the component interactions become more and more complex. We are developing a formal scenario-based method for specifying the inter-component behavior that extends the concepts of Live Sequence Charts. This method is intuitive, yet precise, and automated analysis capabilities help engineers deal with the aforementioned complexity. In particular, the execution via the play-out algorithm supports a simulation of the behavior emerging from the interplay of the scenarios. Deriving a distributed implementation from an inter-component specification, however, is a challenging task. An alternative is the play-out of the specification by the distributed system. In this paper, we present a distributed play-out approach where the components coordinate via MQTT, a protocol used in IoT applications.We demonstrate the approach by a Car-to-X example implemented on Raspberry Pi-based robots.
AB - In many areas we find cyber-physical systems consisting of multiple software-controlled components that communicate to control complex physical processes. As customers demand increasingly rich functionality, the component interactions become more and more complex. We are developing a formal scenario-based method for specifying the inter-component behavior that extends the concepts of Live Sequence Charts. This method is intuitive, yet precise, and automated analysis capabilities help engineers deal with the aforementioned complexity. In particular, the execution via the play-out algorithm supports a simulation of the behavior emerging from the interplay of the scenarios. Deriving a distributed implementation from an inter-component specification, however, is a challenging task. An alternative is the play-out of the specification by the distributed system. In this paper, we present a distributed play-out approach where the components coordinate via MQTT, a protocol used in IoT applications.We demonstrate the approach by a Car-to-X example implemented on Raspberry Pi-based robots.
KW - Cyber-physical systems
KW - Distributed system
KW - Executing specifications
KW - Internet of things
KW - Play-out
KW - Scenario-based specification
UR - http://www.scopus.com/inward/record.url?scp=84954474804&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84954474804
T3 - CEUR Workshop Proceedings
SP - 71
EP - 80
BT - Models@run.time
T2 - 10th International Workshop on Models@run.time, MRT 2015
Y2 - 29 September 2015 through 29 September 2015
ER -