Free

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

Event Information

Share this event

Date and Time

Location

Location

BCS, The Chartered Institute for IT

The Davidson Building

5 Southampton Street

London

WC2E 7HA

United Kingdom

View Map

Event description

Description

Speaker: Mohammad Mousavi (University of Leicester, UK)

Abstract:

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 22nd 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.

Share with friends

Date and Time

Location

BCS, The Chartered Institute for IT

The Davidson Building

5 Southampton Street

London

WC2E 7HA

United Kingdom

View Map

Save This Event

Event Saved