Model-Based Testing Cyber-Physical Systems: Theory and Practice

When: 22nd Mar 2018, 17:15 - 22nd Mar 2018, 20:30
Where: BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA
Town/City: London
Organiser: BCS FACS (Formal Aspects of Computing Science) Group
Price: Free
Further Information: Further Information

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.

For overseas delegates who wish to attend the event please note that BCS does not issue invitation letters.