About City
  1. Schools and departments
  2. Education
  3. Rector and President
  4. Governance and leadership
  5. Working at City
  6. History of City
  7. More about City
  8. Campus map
  9. Contact us
  1. Mathematics, Computer Science and Engineering
  2. Research
  3. Research Centre for Software Reliability
  4. Research
  5. Research Projects
About City


(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