Objectif
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.
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Programme(s)
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Thème(s)
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Appel à propositions
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Données non disponibles
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Régime de financement
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Coordinateur
NE1 7RU NEWCASTLE UPON TYNE
Royaume-Uni
Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.