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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:


    Publication date :

    2016-12-01


    Size :

    332986 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Formally verifiable features in embedded vehicular security systems

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



    SYSTEM FOR FORMALLY SUPERVISING COMMUNICATIONS

    DUBRULLE PAUL | European Patent Office | 2022

    Free access