ABV

Enabling Architecture Based Verification and Validation of Mission-Critical Systems

 Coordinatore 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

 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.

mission    wire    critical    architecture    ubiquitous    quality    industry    schedule    software    specification    confidence   

 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.

Altri progetti dello stesso programma (FP7-PEOPLE)

MEMPEPACROSS (2010)

"Membrane-active peptides across disciplines and continents: An integrated approach to find new strategies to fight bacteria, dengue virus and neurodegeneration."

Read More  

AC REMOVAL MECHANISM (2009)

Molecular and cellular mechanisms in phagocytosis of apoptotic cells

Read More  

RRRM (2011)

Real Researchers for Real meetings

Read More