Print

Print


Reminder of forthcoming FACS evening seminar, see below.

Prof. Jonathan Bowen FBCS FRSA
Chair BCS-FACS
Emeritus Professor of Computing, London South Bank University
Chairman, Museophile Limited
See The Turing Guide, Oxford University Press, 2017

On 20 February 2018 at 16:40, Jonathan Bowen <[log in to unmask]> wrote:

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

http://www.bcs.org/content/ConWebDoc/58844

Date/Time: Thursday 22 March 2018, 6.00pm - 8.30pm
Refreshments will be available from 5.15pm.

Venue: 
BCS, The Chartered Institute for IT, The Davidson Building, 5 Southampton Street, London, WC2E 7HA

Cost: Free

Book Online

Speaker: Mohammad Mousavi (University of Leicester, UK)

Details:

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.


--
Prof. Jonathan Bowen FBCS FRSA
Chair BCS-FACS
Emeritus Professor of Computing, London South Bank University
Chairman, Museophile Limited
See The Turing Guide, Oxford University Press, 2017