Autonomous Cyber-Physical Systems (CPS) play a substantial role in many domains, such as aerospace, transportation, critical infrastructure, and industrial manufacturing. However, despite the popularity of autonomous CPS, their susceptibility to errant behavior is a considerable concern for safety-critical applications. Testing and simulation is the most common method used in practice to ensure the correctness of autonomous CPS due to their ability to scale to complex systems. In many domains, CPS complexity and scalability have been exponentially growing and will continue to expand due to rapid integration with machine learning components and rising autonomy level such as unmanned aerial vehicles or self-driving cars. Traditional software test methodologies which extensively depend on code coverage are expensive, require code instrumentation, and are ineffective in verifying CPS behavior. Moreover, these test methodologies suffer from lack of flexibility where dynamical CPS control requirements and plant parameters are evolving through continuous state space and time. We investigate ways to improve automated test case generation for autonomous CPS using coverage-guided state space exploration, which systematically generates trajectories to explore desired (or undesired) outcomes. We introduce a novel coverage metric notion and integrate this metric with various techniques, such as fuzz testing or model predictive control (MPC), to generate test cases1.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Coverage-guided State Space Exploration of Autonomous Cyber-Physical Systems


    Beteiligte:
    Sheikhi, Sanaz (Autor:in) / Bak, Stanley (Autor:in)


    Erscheinungsdatum :

    01.07.2023


    Format / Umfang :

    398251 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Intelligent cyber-physical systems for autonomous transportation

    Garg, Sahil ;Aujla, Gagangeet Singh ;Kaur, Kuljeet | TIBKAT | 2022


    Coverage and Control of Diffusion Process in Cyber-Physical Systems

    Cao, Ke-cai / Zhou, Fujiao / Qian, Minglou | Springer Verlag | 2017


    Cyber Space and Aviation 4.0 — New Testing Facilities for Next Generation of Cyber-Physical, Autonomous and Air Traffic Control Systems

    Nawrocki, Miroslaw / Kurowski, Krzysztof / Gorzenski, Radoslaw | British Library Conference Proceedings | 2021


    Declarative cyber physical systems modeling to facilitate autonomous vehicles design

    Ding, Wei / Yang, Feng-Jen / Srinivasan, Sesha | IEEE | 2015


    Testing Autonomous Systems for Deep Space Exploration

    Reinholtz, K. / Patel, K. / IEEE; Aerospace and Electronics Systems Society | British Library Conference Proceedings | 1998