A Scenario-Based MDE Process for Dynamic Topology Collaborative Reactive Systems – Early Virtual Prototyping of Car-to-X System Specifications

Publikation: Beitrag in Buch/Bericht/Sammelwerk/KonferenzbandAufsatz in KonferenzbandForschungPeer-Review

Autorschaft

  • Joel Greenyer
  • Larissa Chazette
  • Daniel Gritzner
  • Eric Wete

Organisationseinheiten

Forschungs-netzwerk anzeigen

Details

OriginalspracheEnglisch
Titel des SammelwerksWorkshops at Modellierung 2018
UntertitelJoint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018
Seiten111-120
Seitenumfang10
PublikationsstatusVeröffentlicht - 2018
VeranstaltungWorkshops at Modellierung 2018 - Braunschweig, Deutschland
Dauer: 21 Feb. 2018 → …

Publikationsreihe

NameCEUR Workshop Proceedings
Herausgeber (Verlag)CEUR Workshop Proceedings
Nummer2060
ISSN (Print)1613-0073

Abstract

Car-to-X systems are safety-critical dynamic topology reactive systems (DTRSs), consisting of collaborating reactive components with relationships and responsibilities that change at run-time. This induces substantial complexity, and engineers need adequate means to model and validate such systems already during the early design. To address this challenge, we developed a scenario-based development process (SBDP) where DTRS requirements and environment assumptions are modeled as independent scenarios, which can be analyzed formally and compiled into executable code. In this paper we apply SBDP to a Car-to-X driver assistance system. We created a virtual prototyping environment where the generated code is executed in a distributed system with Android devices acting as the cars' dashboards; the driving is simulated by a 3D simulator (OpenDS). This work shows how the scenario-based design approach can be integrated with domain-specific simulators, which can help clarify design issues. Moreover, it shows that scenario-based code could drive the final system.

ASJC Scopus Sachgebiete

Zitieren

A Scenario-Based MDE Process for Dynamic Topology Collaborative Reactive Systems – Early Virtual Prototyping of Car-to-X System Specifications. / Greenyer, Joel; Chazette, Larissa; Gritzner, Daniel et al.
Workshops at Modellierung 2018: Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018. 2018. S. 111-120 (CEUR Workshop Proceedings; Nr. 2060).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/KonferenzbandAufsatz in KonferenzbandForschungPeer-Review

Greenyer, J, Chazette, L, Gritzner, D & Wete, E 2018, A Scenario-Based MDE Process for Dynamic Topology Collaborative Reactive Systems – Early Virtual Prototyping of Car-to-X System Specifications. in Workshops at Modellierung 2018: Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018. CEUR Workshop Proceedings, Nr. 2060, S. 111-120, Workshops at Modellierung 2018, Braunschweig, Deutschland, 21 Feb. 2018. <http://ceur-ws.org/Vol-2060/mekes8.pdf>
Greenyer, J., Chazette, L., Gritzner, D., & Wete, E. (2018). A Scenario-Based MDE Process for Dynamic Topology Collaborative Reactive Systems – Early Virtual Prototyping of Car-to-X System Specifications. In Workshops at Modellierung 2018: Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018 (S. 111-120). (CEUR Workshop Proceedings; Nr. 2060). http://ceur-ws.org/Vol-2060/mekes8.pdf
Greenyer J, Chazette L, Gritzner D, Wete E. A Scenario-Based MDE Process for Dynamic Topology Collaborative Reactive Systems – Early Virtual Prototyping of Car-to-X System Specifications. in Workshops at Modellierung 2018: Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018. 2018. S. 111-120. (CEUR Workshop Proceedings; 2060).
Greenyer, Joel ; Chazette, Larissa ; Gritzner, Daniel et al. / A Scenario-Based MDE Process for Dynamic Topology Collaborative Reactive Systems – Early Virtual Prototyping of Car-to-X System Specifications. Workshops at Modellierung 2018: Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018. 2018. S. 111-120 (CEUR Workshop Proceedings; 2060).
Download
@inproceedings{1bd06d7c97fe4abdb6e5fd8ccd57d809,
title = "A Scenario-Based MDE Process for Dynamic Topology Collaborative Reactive Systems – Early Virtual Prototyping of Car-to-X System Specifications",
abstract = "Car-to-X systems are safety-critical dynamic topology reactive systems (DTRSs), consisting of collaborating reactive components with relationships and responsibilities that change at run-time. This induces substantial complexity, and engineers need adequate means to model and validate such systems already during the early design. To address this challenge, we developed a scenario-based development process (SBDP) where DTRS requirements and environment assumptions are modeled as independent scenarios, which can be analyzed formally and compiled into executable code. In this paper we apply SBDP to a Car-to-X driver assistance system. We created a virtual prototyping environment where the generated code is executed in a distributed system with Android devices acting as the cars' dashboards; the driving is simulated by a 3D simulator (OpenDS). This work shows how the scenario-based design approach can be integrated with domain-specific simulators, which can help clarify design issues. Moreover, it shows that scenario-based code could drive the final system.",
keywords = "Collaborative systems, Dynamic topology, Model-driven engineering, Reactive systems, Scenario-based specification, Simulation",
author = "Joel Greenyer and Larissa Chazette and Daniel Gritzner and Eric Wete",
note = "Publisher Copyright: {\textcopyright} 2018 CEUR-WS. All rights reserved.; 2017 Joint of the Workshops at Modellierung, MOD-WS 2018 ; Conference date: 21-02-2018",
year = "2018",
language = "English",
series = "CEUR Workshop Proceedings",
publisher = "CEUR Workshop Proceedings",
number = "2060",
pages = "111--120",
booktitle = "Workshops at Modellierung 2018",

}

Download

TY - GEN

T1 - A Scenario-Based MDE Process for Dynamic Topology Collaborative Reactive Systems – Early Virtual Prototyping of Car-to-X System Specifications

AU - Greenyer, Joel

AU - Chazette, Larissa

AU - Gritzner, Daniel

AU - Wete, Eric

N1 - Publisher Copyright: © 2018 CEUR-WS. All rights reserved.

PY - 2018

Y1 - 2018

N2 - Car-to-X systems are safety-critical dynamic topology reactive systems (DTRSs), consisting of collaborating reactive components with relationships and responsibilities that change at run-time. This induces substantial complexity, and engineers need adequate means to model and validate such systems already during the early design. To address this challenge, we developed a scenario-based development process (SBDP) where DTRS requirements and environment assumptions are modeled as independent scenarios, which can be analyzed formally and compiled into executable code. In this paper we apply SBDP to a Car-to-X driver assistance system. We created a virtual prototyping environment where the generated code is executed in a distributed system with Android devices acting as the cars' dashboards; the driving is simulated by a 3D simulator (OpenDS). This work shows how the scenario-based design approach can be integrated with domain-specific simulators, which can help clarify design issues. Moreover, it shows that scenario-based code could drive the final system.

AB - Car-to-X systems are safety-critical dynamic topology reactive systems (DTRSs), consisting of collaborating reactive components with relationships and responsibilities that change at run-time. This induces substantial complexity, and engineers need adequate means to model and validate such systems already during the early design. To address this challenge, we developed a scenario-based development process (SBDP) where DTRS requirements and environment assumptions are modeled as independent scenarios, which can be analyzed formally and compiled into executable code. In this paper we apply SBDP to a Car-to-X driver assistance system. We created a virtual prototyping environment where the generated code is executed in a distributed system with Android devices acting as the cars' dashboards; the driving is simulated by a 3D simulator (OpenDS). This work shows how the scenario-based design approach can be integrated with domain-specific simulators, which can help clarify design issues. Moreover, it shows that scenario-based code could drive the final system.

KW - Collaborative systems

KW - Dynamic topology

KW - Model-driven engineering

KW - Reactive systems

KW - Scenario-based specification

KW - Simulation

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

M3 - Conference contribution

AN - SCOPUS:85044369689

T3 - CEUR Workshop Proceedings

SP - 111

EP - 120

BT - Workshops at Modellierung 2018

T2 - 2017 Joint of the Workshops at Modellierung, MOD-WS 2018

Y2 - 21 February 2018

ER -