Centre for Software Reliability (CSR)

The Centre for Software Reliability (CSR) conducts research primarily in the area of dependability and safety-critical computing systems.

Services Offered

The Centre maintains links with other investigators and practitioners in Europe, the USA and the Far East. Research is funded by a number of Government, industry and EU sponsored contracts.

The main technical thrusts of activity are concerned with advanced system architectures:

  • adaptive software architectures for control systems
  • applying game theory to guide trade-offs
  • hybrid systems theory
  • diversity in the design of critical systems
  • requirements representation, evolution, traceability and analysis
  • formal methods and techniques for analysing timing properties
  • software safety analysis and information structures for safety cases
  • brokerage for electronic commerce
  • organisation and enterprise modelling.

Partners

Industrial collaborators of the CSR include:

  • BAE SYSTEMS
  • Rolls-Royce Industrial Controls
  • ICI Eutech
  • British Steel
  • NHS
  • CAP Group
  • Philips

Further information: