Summary of the topic
The automotive industry is working at full speed on the development of autonomous driving functions. A major challenge in the development of autonomous driving functions or fully autonomous vehicles is assurance, i.e., documenting safety for the user. However, there are often semantic gaps between requirements and standards (in natural language and/or state machines), specifications (through block diagrams), and the implementation of a function. These gaps make it difficult to reason about the safety of a system. In addition, not all situations in which an autonomous system must later function are known at development time.
The PG aims to address this challenge by providing automotive software developers with a family of domain-specific languages (DSLs) in which requirements and specification can be described at an abstract level. These languages will then be used to automatically generate implementation and monitoring components for the driving function. Specifically, the PG will develop a domain-specific language to describe adaptive cruise control (ACC).
For the previously mentioned (so far partly informal) formats for the description of requirements for ACCs, a modeling environment designed for engineers in the automotive industry shall be realized using the Cinco Meta Tooling Suite. Cinco is a tool based on the Eclipse Modeling Framework (EMF), with which specialized Eclipse-based modeling environments (RCP) for modeling languages can be generated very easily from metamodel descriptions of these languages. The work of the project group will be evaluated in a simulation environment and on model vehicles (1:10), each using a technology stack that is also used in the automotive industry: Virtual Test Drive will be used as the simulation environment. ADTF is to be used on the model vehicles.
Application and presentation
- PG Info booklet with application in Moodle: https://moodle.tu-dortmund.de/enrol/index.php?id=8054
- Cinco website: http://cinco.scce.info/
- VTD Website: https://vires.com/vtd-vires-virtual-test-drive/
- ADTF Website: https://www.elektrobit.com/products/eb-assist/adtf/
- Video demo monitoring approach: https://www.researchgate.net/publication/282219056_DADAS_Example_Video
- Adaptive Cruise Control systems - Performance requirements and test procedures. M. Mauritz, F. Howar, and A. Rausch. https://www.iso.org/standard/50024.html
- Assuring the safety of advanced driver assistance systems through a combination of simulation and runtime monitoring. In ISoLA 2016, Part II, pages 672-687, 2016. https://www.researchgate.net/publication/308894177_Assuring_the_Safety_of_Advanced_Driver_Assistance_Systems_Through_a_Combination_of_Simulation_and_Runtime_Monitoring
- S. Naujokat, M. Lybecait, D. Kopetzki, and B. Steffen. CINCO: A Simplicity-Driven Approach to Full Generation of Domain-Specific Graphical Modeling Tools. Software Tools for Technology Transfer, 2017.