School of Mathematics, Computer Science & Engineering
  1. About the School
  2. Research
  3. Engineering & Mathematics scholarships & funding
  4. Computer Science scholarships and funding
  5. Placements and internships
  6. Our London location
  1. Research Centre for Software Reliability
  2. Research
  3. Research Projects
School of Mathematics, Computer Science & Engineering

DeVa

(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.

Objectives:

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

Approach:

  • 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.

Partners:
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 webadm@soi.city.ac.uk
version 2.1 Published: 25th Jun 2004