As represented by automated driving systems, the complexity of in-vehicle systems is rapidly increasing. The process related to the design, implementation, and validation of the system has become complicated. To reduce this complexity, a function description method suitable for the development of an automated driving system and an interpreter for directly executing this function description in software are proposed. To describe the function logically and strictly, the description sentence is based on an ontology model for traffic context. The description is also based on one-time predicate logic to enable verification by a theorem prover. By using this method, the behaviors of the automated driving system are directory linked with the description of the function definition.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Simultaneous description of logical design and implementation of automated driving systems


    Beteiligte:


    Erscheinungsdatum :

    2019-06-01


    Format / Umfang :

    481953 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    A framework for definition of logical scenarios for safety assurance of automated driving

    Weber, Hendrik / Bock, Julian / Klimke, Jens et al. | FID move | 2019

    Freier Zugriff

    A framework for definition of logical scenarios for safety assurance of automated driving

    Weber, Hendrik / Bock, Julian / Klimke, Jens et al. | BASE | 2019

    Freier Zugriff