Loading [MathJax]/extensions/tex2jax.js

Scenario-based specification of car-to-X systems

Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

Authors

  • Joel Greenyer
  • Daniel Gritzner
  • Nils Glade
  • Timo Gutjahr

Research Organisations

Details

Original languageEnglish
Title of host publicationSoftware Engineering Workshops 2016
Subtitle of host publicationGemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016)
Pages118-123
Number of pages6
Publication statusPublished - 11 Nov 2016
EventConference on Software Engineering, SE 2016 - Wien, Austria
Duration: 23 Feb 201626 Feb 2016

Publication series

NameCEUR Workshop Proceedings
PublisherCEUR Workshop Proceedings
Volume1559
ISSN (Print)1613-0073

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.

Keywords

    Car-to-X, Cyber-physical system, Realizability, Scenario-based specification, Simulation

ASJC Scopus subject areas

Sustainable Development Goals

Cite this

Scenario-based specification of car-to-X systems. / Greenyer, Joel; Gritzner, Daniel; Glade, Nils et al.
Software Engineering Workshops 2016: Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016). 2016. p. 118-123 (CEUR Workshop Proceedings; Vol. 1559).

Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

Greenyer, J, Gritzner, D, Glade, N, Gutjahr, T & König, F 2016, Scenario-based specification of car-to-X systems. in Software Engineering Workshops 2016: Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016). CEUR Workshop Proceedings, vol. 1559, pp. 118-123, Conference on Software Engineering, SE 2016, Wien, Austria, 23 Feb 2016. <https://ceur-ws.org/Vol-1559/paper12.pdf>
Greenyer, J., Gritzner, D., Glade, N., Gutjahr, T., & König, F. (2016). Scenario-based specification of car-to-X systems. In Software Engineering Workshops 2016: Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016) (pp. 118-123). (CEUR Workshop Proceedings; Vol. 1559). https://ceur-ws.org/Vol-1559/paper12.pdf
Greenyer J, Gritzner D, Glade N, Gutjahr T, König F. Scenario-based specification of car-to-X systems. In Software Engineering Workshops 2016: Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016). 2016. p. 118-123. (CEUR Workshop Proceedings).
Greenyer, Joel ; Gritzner, Daniel ; Glade, Nils et al. / Scenario-based specification of car-to-X systems. Software Engineering Workshops 2016: Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016). 2016. pp. 118-123 (CEUR Workshop Proceedings).
Download
@inproceedings{d1efc810b369476f849a36a5ad8e7dd7,
title = "Scenario-based specification of car-to-X systems",
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.",
keywords = "Car-to-X, Cyber-physical system, Realizability, Scenario-based specification, Simulation",
author = "Joel Greenyer and Daniel Gritzner and Nils Glade and Timo Gutjahr and Florian K{\"o}nig",
note = "Funding Information: This work is funded by grant no. 1258 of the German-Israeli Foundation for Scientific Research and Development (GIF).; Conference on Software Engineering, SE 2016 ; Conference date: 23-02-2016 Through 26-02-2016",
year = "2016",
month = nov,
day = "11",
language = "English",
series = "CEUR Workshop Proceedings",
publisher = "CEUR Workshop Proceedings",
pages = "118--123",
booktitle = "Software Engineering Workshops 2016",

}

Download

TY - GEN

T1 - Scenario-based specification of car-to-X systems

AU - Greenyer, Joel

AU - Gritzner, Daniel

AU - Glade, Nils

AU - Gutjahr, Timo

AU - König, Florian

N1 - Funding Information: This work is funded by grant no. 1258 of the German-Israeli Foundation for Scientific Research and Development (GIF).

PY - 2016/11/11

Y1 - 2016/11/11

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

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

KW - Car-to-X

KW - Cyber-physical system

KW - Realizability

KW - Scenario-based specification

KW - Simulation

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

M3 - Conference contribution

AN - SCOPUS:84964291041

T3 - CEUR Workshop Proceedings

SP - 118

EP - 123

BT - Software Engineering Workshops 2016

T2 - Conference on Software Engineering, SE 2016

Y2 - 23 February 2016 through 26 February 2016

ER -