BreachFlows: Simulation-Based Design with Formal Requirements for Industrial CPS (Extended Abstract) (English)
Free access
- New search for: Donzé, Alexandre
- New search for: Donzé, Alexandre
- New search for: Steinhorst, Sebastian
- Further information on Steinhorst, Sebastian:
- https://orcid.org/0000-0002-4096-2584
- New search for: Deshmukh, Jyotirmoy V.
In:
OASIcs, Volume 79, ASD 2020
: 2nd International Workshop on Autonomous Systems Design (ASD 2020)
;
79
;
5:1-5:5
;
2020
-
ISBN:
-
ISSN:
- Conference paper / Electronic Resource
-
Title:BreachFlows: Simulation-Based Design with Formal Requirements for Industrial CPS (Extended Abstract)
-
Contributors:
-
Published in:OASIcs, Volume 79, ASD 2020 : 2nd International Workshop on Autonomous Systems Design (ASD 2020) ; 79 ; 5:1-5:5Open Access Series in Informatics (OASIcs) ; 79 ; 5:1-5:5
-
Publisher:
- New search for: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Publication date:2020-08-10
-
Size:5 pages , 518881 byte
-
Remarks:OASIcs, Vol. 79, 2nd International Workshop on Autonomous Systems Design (ASD 2020), pages 5:1-5:5
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Conference paper
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:Software and its engineering , Theory of computation → Timed and hybrid models , Computing methodologies → Simulation evaluation , Falsification , Cyber Physical Systems , Mathematics of computing → Solvers , Computing methodologies → Simulation tools , Computer systems organization → Embedded and cyber-physical systems , Test , Model-Based Design , Formal Requirements , Theory of computation → Streaming models , Computing methodologies → Model verification and validation , Theory of computation → Mathematical optimization , Verification and Validation , Computing methodologies → Machine learning , Software and its engineering → Software creation and management
-
Licence:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Towards a Reliable and Context-Based System Architecture for Autonomous VehiclesKain, Tobias / Mundhenk, Philipp / Müller, Julian-Steffen / Tompits, Hans / Wesche, Maximilian / Decke, Hendrik et al. | 2020
- 2
-
Fusion: A Safe and Secure Software Platform for Autonomous DrivingMundhenk, Philipp / Parodi, Enrique / Schabenberger, Roland et al. | 2020
- 3
-
Adaptable Demonstrator Platform for the Simulation of Distributed Agent-Based Automotive SystemsWeiss, Philipp / Nagel, Sebastian / Weichslgartner, Andreas / Steinhorst, Sebastian et al. | 2020
- 4
-
Agile Requirement Engineering for a Cloud System for Automated and Networked VehiclesMokhtarian, Armin / Kampmann, Alexandru / Alrifaee, Bassam / Kowalewski, Stefan / Lampe, Bastian / Eckstein, Lutz et al. | 2020
- 5
-
BreachFlows: Simulation-Based Design with Formal Requirements for Industrial CPS (Extended Abstract)Donzé, Alexandre et al. | 2020