Ziel
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.
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Daten nicht verfügbar
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Koordinator
NE1 7RU NEWCASTLE UPON TYNE
Vereinigtes Königreich
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.