Next-generation transportation systems in air traffic, railway, and car control will leverage advanced computing and sensing capabilities to improve safety and throughput to meet increasing transportation demands. It combine cyber aspects (such as wireless communication and computer control) with physical aspects (such as movement in space and real-time interfacing with the physical environment, including sensing and actuation), thus forming cyberphysical systems (CPSs).'ith the increasing complexity of modern transportation technology, the need for analysis techniques that help find and fix errors in system design is rising quickly. Testing and debugging the control software in transportation systems is becoming more expensive; the resulting cost is already well above 50 percent of the total development cost in most cases. Because correct design is difficult to establish with ad hoc debugging, upcoming standards in the aviation and car industries will encourage and require formal methods. With the emergent cyberphysical transportation field, exciting challenges lie ahead in making the vision of robust and reliable system design a reality.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Verification of cyberphysical transportation systems (intelligent transportation systems)


    Beteiligte:
    Platzer, A. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2009


    Format / Umfang :

    4 Seiten, 7 Quellen




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch




    INTELLIGENT TRANSPORTATION SYSTEMS

    CELLA CHARLES | Europäisches Patentamt | 2020

    Freier Zugriff

    INTELLIGENT TRANSPORTATION SYSTEMS

    CELLA CHARLES HOWARD | Europäisches Patentamt | 2022

    Freier Zugriff

    Intelligent transportation systems

    CELLA CHARLES HOWARD | Europäisches Patentamt | 2022

    Freier Zugriff

    Intelligent Transportation Systems

    Abdel-Rahim, Ahmed | GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2012

    Freier Zugriff

    INTELLIGENT TRANSPORTATION SYSTEMS

    CELLA CHARLES HOWARD | Europäisches Patentamt | 2021

    Freier Zugriff