|
![]() |
|
|
|
|
|
|
|
|
|
The STRL participates in increasing Public Awareness of Safe and Dependable ITPeople are heavily dependent on computer based Information Technology systems to control many facets of everyday life in industry, business and the home. How can we be sure that such computer systems are safe and dependable? In 1999 EPSRC awarded a grant to STRL for a project to increase public awareness and appreciation of the many challenges that exist in developing highly dependable and safe Information Technology systems on which the operation of businesses and socio-economic organisations are based. To promote such awareness an exemplar demonstrator was developed and installed together with a set of supporting posters in Snibston Discovery Park, Coalville, Leicestershire in August 2000. The demonstrator is an example of using a computer in a complex unstable control system; this being indicative of many of today's industrial control systems such as the control of the stability of an aircraft in flight. The exemplar hardware
The exemplar uses a
TQ CE151 Ball and Plate
Click for full
picture
apparatus (see above picture) which consists of:
The general aim being that software in the controlling computer can determine the ball position and by tilting the table move the ball to the required position.
Click for full
picture
The picture above shows the CE151 Ball and Plate installed in its cabinet at Snibston. In this case the Ball and Plate is controlled either by the user or the computer:
Thus the user can attempt to control the ball position (in the process finding out how difficult it is) and then turn over control to the computer. Thus achieving the aim of giving the user a appreciation of how difficult it is to control an inherently unstable system and hence the importance of ensuring safe and dependable IT.
Click for full picture
The exemplar is supported by a poster display (see above picture) giving examples of IT system failures (e.g. aircraft crashes, rocket launch failures, financial system crashes, database errors, etc.) together with a discussion of how IT systems may be formally proved to eliminate or at least reduce the possibility of failure. AcknowledgementsAcknowledgements are due to:
|
|
|
|
|
|
|
|