Write a Blog >>
ISSTA 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
Thu 19 Jul 2018 14:00 - 15:00 at Bangkok - Talks

Connected and Autonomosu 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 conformance 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.

Thu 19 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30: TAV-CPS/IoT - Talks at Bangkok
tavcpsiot-2018-papers14:00 - 15:00
Mohammad MousaviUniversity of Leicester, UK
tavcpsiot-2018-papers15:00 - 15:30
Research paper
Pedro Martins PontesFaculty of Engineering, University of Porto and INESC TEC, Bruno LimaFaculty of Engineering, University of Porto and INESC TEC, João Pascoal FariaFaculty of Engineering, University of Porto and INESC TEC