DeVa: Design for Validation

Start date is speculative

The DeVa project aims to make a major contribution to the problems of validating critical computing systems. DeVa places emphasis on software validation mainly with respect to dependability requirements rather than functional requirements, and concentrates particularly on issues of software structuring that will aid the design for validation of real-time distributed systems.


Status Finished
UoY Lead Alan Burns
UoY People on Project Andy Wellings, S.E. Mitchell, S. Punnekkat
Partners City University, University of York, DERA, LAAS-CNRS, LGL-DI-EPFL, University of Newcastle, Universität Ulm
Start Date 01-06-1996
End Date 31-12-1998
Return to Projects