Scenario-based specification of car-to-X systems

verfasst von

Joel Greenyer, Daniel Gritzner, Nils Glade, Timo Gutjahr, Florian König

Abstract

Cyber-physical systems are found in many areas, such as manufacturing, transportation, or smart cities. They consist of many components which cooperate to provide the desired functionality. This need for cooperation causes complex interactions between components, which makes developing a cyber-physical system difficult. To support engineers developing such systems we have created a design-and specification method which makes it easier to develop reactive systems, especially cyber-physical systems. Object-oriented modeling combined with a scenario-based behavior specification provide an intuitive, yet precise way to formally specify reactive systems. We implemented a tool which uses this kind of formal specification to allow engineers to simulate, visualize, check, and execute their specifications. This helps with reducing development costs as inconsistencies, and thus defects in the system, are spotted early, when it is still relatively cheap to make changes to the system. We evaluated this technique by building a Car-to-X system, in which Raspberry Pi-based robots emulated autonomous cars.

Organisationseinheit(en)

Fachgebiet Software Engineering

Typ

Aufsatz in Konferenzband

Seiten

118-123

Anzahl der Seiten

6

Publikationsdatum

11.11.2016

Publikationsstatus

Veröffentlicht

Peer-reviewed

Ja

ASJC Scopus Sachgebiete

Informatik (insg.)

Ziele für nachhaltige Entwicklung

SDG 11 – Nachhaltige Städte und Gemeinschaften

Elektronische Version(en)

https://ceur-ws.org/Vol-1559/paper12.pdf (Zugang: Offen)