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