Details
| Originalsprache | Englisch |
|---|---|
| Titel des Sammelwerks | Software Engineering Workshops 2016 |
| Untertitel | Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016) |
| Seiten | 118-123 |
| Seitenumfang | 6 |
| Publikationsstatus | Veröffentlicht - 11 Nov. 2016 |
| Veranstaltung | Tagung Software Engineering 2016, SE 2016 - Wien, Österreich Dauer: 23 Feb. 2016 → 26 Feb. 2016 |
Publikationsreihe
| Name | CEUR Workshop Proceedings |
|---|---|
| Herausgeber (Verlag) | CEUR Workshop Proceedings |
| Band | 1559 |
| 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.
ASJC Scopus Sachgebiete
- Informatik (insg.)
- Allgemeine Computerwissenschaft
Ziele für nachhaltige Entwicklung
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
Software Engineering Workshops 2016: Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016). 2016. S. 118-123 (CEUR Workshop Proceedings; Band 1559).
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
}
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 -