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.
Details
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 |
Funded By | ESPIRIT |
Start Date | 01-06-1996 |
End Date | 31-12-1998 |