Increasing number of in-vehicle sensors, actuators and controllers involved in novel applications such as autonomous driving, requires new communication technologies to fulfill heterogeneous non-functional requirements such as latency, bandwidth and reliability. Time-Sensitive Networking (TSN) is a set of new standards in development by Institute of Electrical and Electronics Engineers (IEEE) defined to support mixed criticality based on Ethernet technology. This technology has recently raised significant attention of automotive domain. However, the mutual influence of application requirements in relation to TSN standards still remains a complex problem to master. For instance, considering an existing complex automotive network, an engineer has to carefully analyze the possible effects of adding new sensors on other existing critical applications. The network has to be configured such that the fulfilling of all requirements is verified. Targeting this problem, a modeling approach based on Logic Programming (LP) is developed to support more efficient configuration and verification process with focus on in-vehicle TSN networks.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formally verifiable modeling of in-vehicle time-sensitive networks (TSN) based on logic programming


    Beteiligte:


    Erscheinungsdatum :

    01.12.2016


    Format / Umfang :

    332986 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Formally verifiable features in embedded vehicular security systems

    Lee, Gyesik / Oguma, Hisashi / Yoshioka, Akira et al. | IEEE | 2009




    Specifying Safety-Related Hazards Formally

    Troubitsyna, E. / System Safety Society | British Library Conference Proceedings | 1999


    SYSTEM FOR FORMALLY SUPERVISING COMMUNICATIONS

    DUBRULLE PAUL | Europäisches Patentamt | 2022

    Freier Zugriff