Verification of Intelligent Transportation Systems: Challenges And Possibilities
Ibukun Phillips, Robert Kenley · 2022
Intelligent Transportation Systems (ITS) have been touted and proven to be an advanced-technology improvement in transport systems and commuters’ operational performance, efficiency, and safety. The nature of ITS as an integrated metasystem of information and data, operational management, safety, ICT infrastructure, and logistic systems permits their observation as a System of Systems (SoS). In addition, the prevalence of real-time information processing and the subsequent data explosion requires the utilization of Artificial Intelligence (AI) solutions. ITS characteristics depict them as AIbased SoS, which presents challenges to the verification and certification of these systems. This paper will frame ITS as Systems of Systems, considering their SoS classification from literature while outlining the role of AI applications in fostering effective and adequate mobility for these systems. With the understanding of the architecture and nature of ITS, it becomes easier to understand how the emergence and the complexity of modeling and evaluating these systems, among other challenges, contribute to the verification difficulty that will be encountered – key to certifying these systems. We propose some solutions from literature meant to serve as components of a holistic suite of solutions towards resolving the verification challenges posed by AI-based Systems of Systems like ITS.