Objective
The DeVa project aims at providing methods and tools for 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. Such work will of course be very usefully complemented by projects that are being undertaken by other researchers addressing more specific problems and circumstances, e.g. within specific industry sectors.
The set of closely inter-related results that DeVa plans to provide demonstrations of, and to document in published scientific papers, concern the three main aspects of design for validation, namely understandability, verifiability, and evaluatability. With respect to understandability, DeVa plans to use advanced object-oriented design techniques to deal with logical complexity and tackle dependability issues. For example, techniques such as reflection and delegation will be used to implement adaptive behaviour, and a software architecture based on the use of idealised fault-tolerant components will be used to achieve fault tolerance, and facilitate component re-use. With respect to verifiability and evaluatability, the work will be aimed at enriching this design paradigm in order to turn it into an effective "design for validation" paradigm, e.g. via work on (i) disciplined approaches that ensure the testability of the ensuing design, and (ii) evaluations of software architecture trade-offs that encompass the reuse of existing components. An overall project result which it is hoped will prove to be of great industrial relevance will be the production of a set of design guidelines and assessment techniques to simplify and support the validation and certification of dependable systems.
DeVa's plans are in part based on the work of the ESPRIT Basic Research Actions on Predictably Dependable Computing Systems (PDCS and PDCS2). Four of the original members of PDCS and PDCS2 (City, LAAS, Newcastle and York), whose expertise centres on object-oriented system structuring, system validation and evaluation, and real-time systems, will be joined in DeVa by (i) Universität Ulm, working on formal verification of software, (ii) the UK Defence Research Agency (DRA), working on system security and the problems of structuring and validating the safety and security of distributed systems built from commercial software components, and (iii) the Ecole Polytechnique Fédérale de Lausanne (EPFL), working on specification-based testing methods of object-oriented systems.
In addition to these seven project members, there will be three subcontractors involved in DeVa, namely the AIB-Vincotte Nucleaire working on certification and licensing of safety-critical systems, Université Paris-Sud working on algebraic specification and testing, and the Technische Universität Wien working on time-triggered hard real-time systems. The guidance of an Industrial Advisory Board will help to ensure industrial relevance and take-up of DeVa's results.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
You need to log in or register to use this function
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Data not available
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Coordinator
NE1 7RU NEWCASTLE UPON TYNE
United Kingdom
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.