MOGENTES

Model-based Generation of Tests for Dependable Embedded Systems

 Coordinatore AIT Austrian Institute of Technology GmbH 

 Organization address city: Wien
postcode: 1220

contact info
Titolo: Dr.
Nome: Manfred
Cognome: Gruber
Email: send email
Telefono: +43 50550 2103
Fax: +43 50550 2110

 Nazionalità Coordinatore Austria [AT]
 Totale costo 4˙436˙511 €
 EC contributo 3˙099˙991 €
 Programma FP7-ICT
Specific Programme "Cooperation": Information and communication technologies
 Code Call FP7-ICT-2007-1
 Funding Scheme CP
 Anno di inizio 2008
 Periodo (anno-mese-giorno) 2008-01-01   -   2011-03-31

 Partecipanti

# participant  country  role  EC contrib. [€] 
1    AIT Austrian Institute of Technology GmbH

 Organization address city: Wien
postcode: 1220

contact info
Titolo: Dr.
Nome: Manfred
Cognome: Gruber
Email: send email
Telefono: +43 50550 2103
Fax: +43 50550 2110

AT (Wien) coordinator 0.00
2    BUDAPESTI MUSZAKI ES GAZDASAGTUDOMANYI EGYETEM

 Organization address address: MUEGYETEM RAKPART
city: BUDAPEST
postcode: 1111

contact info
Titolo: Ms.
Nome: Judit
Cognome: Spanics
Email: send email
Telefono: +36 1 463 3594
Fax: +36 1 463 2667

HU (BUDAPEST) participant 0.00
3    EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZURICH

 Organization address address: Raemistrasse
city: ZUERICH
postcode: 8092

contact info
Titolo: Prof.
Nome: Daniel
Cognome: Kroening
Email: send email
Telefono: +41 44 632 7489
Fax: +41 44 632 1307

CH (ZUERICH) participant 0.00
4    FORD FORSCHUNGSZENTRUM AACHEN GMBH

 Organization address address: SUESTERFELDSTRASSE
city: AACHEN
postcode: 52072

contact info
Titolo: Mr
Nome: Guido
Cognome: Vanhees
Email: send email
Telefono: +49 241 9421258
Fax: +49 241 9421414

DE (AACHEN) participant 0.00
5    PROLAN IRANYITASTECHNIKAI ZARTKORUEN MUKODO RESZVENYTARSASAG

 Organization address address: SZENTENDREI UT 1-3
city: BUDAKALASZ LENFONOPARK
postcode: 2011

contact info
Titolo: Mr.
Nome: János
Cognome: Samu
Email: send email
Telefono: +36 26 543 168
Fax: +36 26 543 101

HU (BUDAKALASZ LENFONOPARK) participant 0.00
6    PROVER TECHNOLOGY AB

 Organization address address: ROSENLUNDSGATAN
city: STOCKHOLM
postcode: 118 63

contact info
Titolo: Mr.
Nome: Arne
Cognome: Borälv
Email: send email
Telefono: +46 8 617 6805
Fax: +46 8 653 69 00

SE (STOCKHOLM) participant 0.00
7    RE:LAB S.R.L.

 Organization address address: VIA TAMBURINI
city: REGGIO EMILIA
postcode: 42122

contact info
Titolo: ING.
Nome: FABIO
Cognome: PAGLIAI
Email: send email
Telefono: +39 0522522663
Fax: +39 0522522164

IT (REGGIO EMILIA) participant 0.00
8    SP SVERIGES TEKNISKA FORSKNINGSINSTITUT AB

 Organization address address: BRINELLGATAN
city: BORAS
postcode: 501 15

contact info
Titolo: Dr.
Nome: Jonny
Cognome: Vinter
Email: send email
Telefono: 46105165359
Fax: 46105165635

SE (BORAS) participant 0.00
9    TECHNISCHE UNIVERSITAET GRAZ

 Organization address address: Rechbauerstrasse
city: GRAZ
postcode: 8010

contact info
Titolo: Dr.
Nome: Bernhard K.
Cognome: Aichernig
Email: send email
Telefono: +43 316 8735717
Fax: +43 316 8735706

AT (GRAZ) participant 0.00
10    THALES AUSTRIA GMBH

 Organization address address: SCHEYDGASSE 41
city: WIEN
postcode: 1210

contact info
Titolo: Mag.
Nome: Peter
Cognome: Kren
Email: send email
Telefono: +43 1 277113511
Fax: +43 1 277113614

AT (WIEN) participant 0.00

Mappa

Leaflet | Map data © OpenStreetMap contributors, CC-BY-SA, Imagery © Mapbox

 Word cloud

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

experts    model    automated    significantly    technologies    industrial    dependable    generation    techniques    formal    verification    safety    domains    functional    mogentes    tests   

 Obiettivo del progetto (Objective)

MOGENTES aims at significantly enhancing testing and verification of dependable embedded systems by means of automated generation of test-cases relying on development of new approaches as well as innovative integration of state-of-the-art techniques. Driven by the needs of its industrial partners, it will address both testing of non-functional issues like reliability, by e.g. system stress and overload tests, and functional safety tests, meeting the requirements of standards such as IEC 61508, ISO WD 26262, or AUTOSAR. MOGENTES will demonstrate that different domains with a wide variety of requirements can significantly benefit from a common model-based approach for achieving automated generation of efficient test-cases and for verifying system safety correctness using formal methods and fault injection, as this approach increases system development productivity while achieving predictable system dependability properties. For that purpose, proof-of-concept demonstrations will show the applicability of the developed technologies in two application domains: railway and automotive.In particular, MOGENTES aims at the application of these technologies in large industrial systems, simultaneously enabling application domain experts (with rather little knowledge and experience in usage of formal methods) to use them with minimal learning effort. All in all, MOGENTES will increase knowledge and develop new techniques and tools in the area of verification and validation of dependable embedded systems which can be applied in model-based development processes also by non-experts in formal methods.

Altri progetti dello stesso programma (FP7-ICT)

OSSMETER (2012)

Automated Measurement and Analysis of Open Source Software

Read More  

ACTORS (2008)

Adaptivity and Control of Resources in Embedded Systems

Read More  

BRAINLEAP (2013)

A quantum leap: from a spike-centered brain universe to its underlying synaptic landscape

Read More