CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Exploitable results
DEVA focused on a set of closely inter-related topics concerning system specification, design, implementation, verification and evaluation. DEVA worked mainly on problems and potential solutions of general applicability, rather than concentrating on a particular industry sector, or on particular types of computing systems (e.g. hard versus soft real-time systems), or on particular attributes of dependability.
The set of closely inter-related results that DEVA provided demonstrations of, and documented in published scientific papers, concern the three main aspects of design for validation, namely comprehensibility, verifiability, and evaluation. With respect to comprehensibility, DEVA used advanced object-oriented design techniques to deal with logical complexity and tackle dependability issues. With respect to verifiability and evaluation, the work 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. DEVA 's direct industrial relevance is the production of a set of design guidelines and assessment techniques to simplify and support the validation and certification of dependable systems.
Business is encouraged to investigate the project's results via public access to the DEVA technical report series and publications in journals and conferences. In particular, the project has contributed to the following domains:
-Technical aspects of software licensing problems faced by industry. Transfer of DEVA knowledge and results to the nuclear sector achieved via AVN, which maintains close working relations with other European Regulatory agencies, and is an active participant in the activities of the International Atomic Energy Agency (IAEA, Vienna) of the OECD and of the CEC DG XI. City University also participates in this industrial sector through the UK Advisory Committee on the Safety of Nuclear Installations (ACSNI).
-As a technical advisor to the UK MoD, DERA is in an influential position to foster the take-up of research results by civil as well as defence industries.
-A significant focus of the DEVA project is the investigation of the use of an object-oriented framework for structuring critical real-time distributed systems. Results from this work have a potential direct and effective route to industrial take-up via the Universities of Newcastle and York in their BAe-funded Dependable Computing Systems Centre, and the Rolls Royce-funded University Technology Centre; the "Laboratory for Dependability Engineering" that LAAS have set up jointly with Matra Marconi Space and Technicatome; and the Technische Universitdt Wien's interactions with Daimler Benz and the companies involved in the X-by-wire Brite Euram proposal (Daimler Benz, Fiat, Ford, Volvo, Bosch, Marelli and Mecel).
Project URL: http://www.newcastle.research.ec.org/deva
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available