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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:


    Publication date :

    2023-07-01


    Size :

    398251 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    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