Runtime Monitor Synthesis for Automotive Software Architectures

Background: The automotive industry’s shift towards automated driving introduces new safety, reliability, and real-time challenges. While Service-oriented Architectures offer modular and scalable solutions, they struggle to meet stringent safety requirements. Aim: This work enhances the reliability and safety of automated driving systems by introducing a taxonomy of monitoring aspects and a runtime monitoring synthesis approach, both tailored to Service-oriented Architectures. Method: A monitoring taxonomy is developed using Contract-based Design, extending Service-oriented Architectures by explicitly formalising service behaviours as contracts. This enables runtime verification against well-defined expectations and facilitates the automated synthesis of runtime monitors. Results: The approach is evaluated in the CARLA simulator using a Construction Zone Assist use case, demonstrating its effectiveness in realistic driving scenarios. Additionally, the scalability and performance are assessed through resource utilisation. Conclusion: Combining the taxonomy with runtime monitor synthesis provides a robust framework for ensuring that safety-critical automotive systems meet operational standards, fostering innovation without compromising safety.