School of Computing Science


DeVa - Design for Validation

The DeVa project aims to make a major contribution to the problems of validating critical computing systems. DeVa will place emphasis on software validation mainly with respect to dependability requirements rather than functional requirements, and will concentrate particularly on issues of software structuring that will aid the design for validation of real-time distributed systems. This will be achieved by a programme of long term research on a set of closely inter-related topics concerning system specification, design, implementation, verification and evaluation. DeVa will work mainly on problems and potential solutions of general applicability, rather than concentrating on a particular industry sector, or on particular types of computing system (e.g. hard versus soft real-time systems), or on particular attributes of dependability.