Research
on the intended operation environment, formalizing our expectations into testable requirements, checking requirements on a system under the made assumptions, and supporting the corresponding tasks with [...] operational design domain (ODD) of autonomous vehicles. Expressing Requirements Domain-Specific Modeling Languages Only formalized requirements can be checked automatically. Unfortunately, engineers are usually [...] especially for cyber- physical systems, formal requirements become complex quickly. We are convinced that we need to enable engineers to write precise requirements in a language they understand. W We have several …
