UNIVERSITY OF HERTFORDSHIRE COMPUTER SCIENCE RESEARCH COLLOQUIUM presents "Conformance Testing as a Tool for Designing Connected Vehicle Functions" Prof Mohammad Mousavi (Department of Informatics, University of Leicester) 24th April 2019 (Wednesday) 13:00 - 14:00 Hatfield, College Lane Campus Seminar Room C152 Everyone is welcome to attend Refreshments will be available Abstract: Connected and Autonomous Vehicles (CAV) are taking a central position in the landscape of intelligent mobility and their rigorous verification and validation is one of the main challenges in their public deployment and social acceptance. Conformance testing is a rigorous verification technique that has been widely tried in various critical applications. In this talk, we examin the adaptations and extensions of the notions of conformance and model-based testing techniques that make them suitable for application in the CAV domain. We present how the extended techniques can be used in the design of connected vehicle functions and verify various design decisions.