Peter Bishop

Position: Chief Scientist

Peter has BSc and MSc degrees in Physics and is a member of the Institute of Chartered Engineers and the IEE. He is also a Professor at the Centre for Software reliability, sharing a joint chair with Robin Bloomfield.

Between 1969 and 1991 he was employed in the research laboratories of the CEGB and National Power. Initially Peter was involved in the development of process automation systems and software. During that time he developed graphics software, a real–time operating disk–based system, a number of compilers, assemblers and linkers for microprocessors, and advanced 'self–healing' networking software for real–time process control. He has also participated in the development of the CEGB standard process–control system (CUTLASS), which is used in the majority of electrical power plants in England and Wales.

In the following ten years his work was primarily with advice tool software reliability research and assessment. This work included research into formal specification methods, verification and testing, software diversity and fault tolerance. Most of this research was performed in international collaborations with UK and European partners. Three projects were undertaken as part of the OECD Halden Reactor Project research programme and one project (DARTS) was undertaken under the ESPRIT programme. He was also heavily involved in the assessment of the Sizewell B Primary Protection System software.

After joining Adelard he has been involved in safety critical systems research and consultancy in international and national projects and for the nuclear, military, telecommunications, air transport and rail transport sectors.

He is an internationally known expert in the field of software reliability. His research work has been reported in a wide range of books, journals and conference proceedings.