Print

Print


Reminder of forthcoming FACS evening seminar, see below.

*Prof. Jonathan Bowen <https://sites.google.com/site/jpbowen/> *FBCS FRSA
Chair BCS-FACS
Emeritus Professor of Computing, London South Bank University
Chairman, Museophile Limited
See *The Turing Guide <https://en.wikipedia.org/wiki/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
> <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* <https://facs220318.eventbrite.co.uk/>
>
> *Speaker: *Mohammad Mousavi
> <https://www2.le.ac.uk/departments/informatics/people/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 <https://sites.google.com/site/jpbowen/> *FBCS FRSA
> Chair BCS-FACS
> Emeritus Professor of Computing, London South Bank University
> Chairman, Museophile Limited
> See *The Turing Guide <https://en.wikipedia.org/wiki/The_Turing_Guide>*,
> Oxford University Press, 2017
>
>