| BRITISH COMPUTER SOCIETY FACS SPECIALIST GROUP |
|
|
Formal Aspects of Computing Science
BCS-FACS Evening Seminar Series
Joint Event with FME
Specifying Systems that Connect to the Physical World
Professor Cliff Jones(Joint work with Ian Hayes and Michael Jackson)
24 April 2006
5.45pmBCS London Offices
First Floor, The Davidson Building
|
|
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 your name by 19 April 2006. Pre-registration is required, as security at the BCS Offices is tight. |
| Formal Aspects of Computing Science |
|
Copyright © BCS-FACS |
