-
AQUA
-
Teaching
-
Student Projects (PG)
ACC++ Domain-Specific Languages for Autonomous Driving
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) [...] Toolchain 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 …