MOGENTES
Model-based Generation of Tests for Dependable Embedded Systems
| Coordinatore | AIT Austrian Institute of Technology GmbH
Organization address
city: Wien contact info |
| 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
| # | ||||
|---|---|---|---|---|
| 1 |
AIT Austrian Institute of Technology GmbH
Organization address
city: Wien contact info |
AT (Wien) | coordinator | 0.00 |
| 2 |
BUDAPESTI MUSZAKI ES GAZDASAGTUDOMANYI EGYETEM
Organization address
address: MUEGYETEM RAKPART contact info |
HU (BUDAPEST) | participant | 0.00 |
| 3 |
EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZURICH
Organization address
address: Raemistrasse contact info |
CH (ZUERICH) | participant | 0.00 |
| 4 |
FORD FORSCHUNGSZENTRUM AACHEN GMBH
Organization address
address: SUESTERFELDSTRASSE contact info |
DE (AACHEN) | participant | 0.00 |
| 5 |
PROLAN IRANYITASTECHNIKAI ZARTKORUEN MUKODO RESZVENYTARSASAG
Organization address
address: SZENTENDREI UT 1-3 contact info |
HU (BUDAKALASZ LENFONOPARK) | participant | 0.00 |
| 6 |
PROVER TECHNOLOGY AB
Organization address
address: ROSENLUNDSGATAN contact info |
SE (STOCKHOLM) | participant | 0.00 |
| 7 |
RE:LAB S.R.L.
Organization address
address: VIA TAMBURINI contact info |
IT (REGGIO EMILIA) | participant | 0.00 |
| 8 |
SP SVERIGES TEKNISKA FORSKNINGSINSTITUT AB
Organization address
address: BRINELLGATAN contact info |
SE (BORAS) | participant | 0.00 |
| 9 |
TECHNISCHE UNIVERSITAET GRAZ
Organization address
address: Rechbauerstrasse contact info |
AT (GRAZ) | participant | 0.00 |
| 10 |
THALES AUSTRIA GMBH
Organization address
address: SCHEYDGASSE 41 contact info |
AT (WIEN) | participant | 0.00 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
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.