Scenario-based specification of car-to-X systems

authored by

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.

Organisation(s)

Software Engineering Section

Type

Conference contribution

Pages

118-123

No. of pages

6

Publication date

11.11.2016

Publication status

Published

Peer reviewed

Yes

ASJC Scopus subject areas

General Computer Science

Sustainable Development Goals

SDG 11 - Sustainable Cities and Communities

Electronic version(s)

https://ceur-ws.org/Vol-1559/paper12.pdf (Access: Open)