School of Mathematics, Computer Science & Engineering
  1. About the School
  2. Research
  3. UKACM 2019
  4. Compressors Conference
  5. Our London location
  6. Athena SWAN
  7. Placements and internships
  8. Engineering & Mathematics scholarships and funding
  9. Computer Science scholarships and funding
  1. Research Centre for Software Reliability
  2. Research
  3. Research Projects
School of Mathematics, Computer Science & Engineering


(Design for Validation)

Principal Investigator:  Prof Bev Littlewood

Contact: Prof Bev Littlewood 

Funding for CSR, City University:  277,000 ECU

Funding Source: ESPRIT Long Term Research Project 20072

Duration: January 1996 - January 1999

Summary: Examining issues of software structuring to aid the design for validation of real-time distributed systems with respect to dependability requirements.


  • To make a major contribution to the problems of validating computing systems
  • To provide an effective "design for validation" paradigm.


  • Investigations into methods for combining disparate sources of information for dependability evaluation
  • Development of software safety cases using Bayesian Belief Networks (BBN)
  • Demonstrations of understandability, verifiability and evaluability in design
  • Advanced object-oriented design techniques deal with logical complexity and dependability issues for investigating understandability.
  • Investigations into fault-tolerance and component re-use using techniques such as reflection and delegation.
  • Disciplined approaches ensuring the testability of design.

Results: The production of a set of design guidelines and assessment techniques to simplify and support the validation and certification of dependable systems.

DRA (UK), LAAS-CNRS (France), LGL-DI-EPFL(Switzerland), University of Newcastle upon Tyne(UK), Universitat Ulm (Germany), University of York (UK).

CSR Personnel: Professor Littlewood, Professor Fenton, Professor Strigini, Mr. Wright

We welcome your feedback, please mail any comments/suggestions to CSR Team
version 2.1 Published: 25th Jun 2004