Cyber-physical systems are the results of the tight integration of computation, control, and communication. Hence, their mode-based design involves hybrid and multi-disciplinary models addressing discrete behaviour, integrated with continuous dynamics along with (often asynchronous) communication. In this talk, we focus on model-based conformance testing of such systems and present an overview of the theories of conformance testing adapted to this domain. Then, we present some of our ongoing research results towards a practical framework for model-based testing cyber-physical systems.
Based on joint work with: A. Aerts (TU Eindhoven, NL), H. Araujo (F.U. Pernambuco, Brazil), G. Carvalho (F.U. Pernambuco, Brazil), N. Khakpour (Linneaus U., Sweden), M. Mohaqeqi (Uppsala, Sweden), M.A. Reniers (TU Eindhoven, NL), A. Sampaio (F.U. Pernambuco, Brazil), M. Taromi Rad (Halmstad, Sweden).
Closing date for bookings is Thursday 22 March 2018 at 08:30. No more bookings will be taken after this date.