[Apologies if you receive multiple copies of this announcements]
BCS-FACS Evening Seminar Series
(Joint event with Formal Methods Europe)
Specifying Systems that Connect to the Physical World
Professor Cliff Jones
(Joint work with Ian Hayes and Michael Jackson)
24 April 2006
5.45pm
BCS London Offices
First Floor, The Davidson Building
5 Southampton Street
London WC2E 7HA
We all know about developing programs from formal
specifications. For "closed" systems, such methods offer
a gold standard against which less formal approaches can
be measured. But there is an increasing demand for
"open systems" which interact with the physical world. The
overall system might include sensors and actuators whose
signals flow to and from some control program. The task of
obtaining a specification for the control program can be more
challenging than that of deriving a program from that
specification. This talk argues that recording an initial
specification of the behaviour of the whole system in the
physical world gives a way to derive a specification of a
control system and also to record precisely the assumptions
being made about those components which sit outside the
computer.
Refreshments will be served from 5.15pm
The seminar is free of charge and open to everyone. If you would like
to attend, please email Paul Boca [[log in to unmask]] your name
by 19 April 2006. Pre-registration is required, as security at the BCS
Offices is tight.
FME Website: http://www.fmeurope.org
BCS-FACS Website: http://www.bcs-facs.org
BCS-FACS Evening Seminars: http://www.bcs-facs.org/events/EveningSeminars/
Location of the venue: http://www.bcs.org/upload/img/londonsscolour.jpg
|