ABV

Enabling Architecture Based Verification and Validation of Mission-Critical Systems

Coordinatore	MAELARDALENS HOEGSKOLA    more  Organization address address: HOGSKOLEPLAN 1 city: VASTERAS postcode: 721 23 contact info Titolo: Prof. Nome: Gunnar Cognome: Widforss Email: send email Telefono: -151704 Fax: -103082
Nazionalità Coordinatore	Sweden [SE]
Totale costo	100˙000 €
EC contributo	100˙000 €
Programma	FP7-PEOPLE Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)
Code Call	FP7-PEOPLE-2007-4-3-IRG
Funding Scheme	MC-IRG
Anno di inizio	2007
Periodo (anno-mese-giorno)	2007-09-01   -   2012-08-31

 Partecipanti

#	participant	country	role	EC contrib. [€]
1	MAELARDALENS HOEGSKOLA  Organization address address: HOGSKOLEPLAN 1 city: VASTERAS postcode: 721 23 contact info Titolo: Prof. Nome: Gunnar Cognome: Widforss Email: send email Telefono: -151704 Fax: -103082	SE (VASTERAS)	coordinator	0.00

Mappa

 Word cloud

Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.

 Obiettivo del progetto (Objective)

'Software is ubiquitous in the world we live in today, enabling the successful operation of systems ranging from every day appliances like microwave ovens, to complex mission critical systems like financial transaction management systems, fly-by-wire and drive-by-wire control systems and air traffic management. This ubiquitous use of software highlights the fact that the quality of the software is a direct determinant of the end success of the implemented system. V&V activities are crucial to the design, development and sustainment of mission-critical systems. In addition to accounting for a significant portion of both the cost and schedule aspects of the system lifecycle, V&V forms the basis for providing increased confidence in the fielded system. The high level objective of this project is to reduce the cost and schedule dimensions of mission critical systems development, while at the same time increasing confidence in the implemented system. . The approach adopted in this proposal, involves establishing traceability across pre-implementation artefacts such as the requirement specification, architecture specification and the implemented system. We will carry out fundamental research in defining formal semantics for the Advanced Architecture Description Language, and create algorithms to support specification based test case generation. The project will expand the theory base, and support active transfer of knowledge to Industry.'

Introduzione (Teaser)

New verification and validation (V&V) strategies to streamline software used in industry, particularly in the car-making sector, are set to enhance quality and competitiveness in Europe.