• Condividi su Facebook

MOGENTES - Model-based generation of tests for dependable embedded systems

  • 17286
  • CORDIS - PROJECTS 17/12/2007
  • RISULTATO

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.



Start date: 2008-01-01
End date: 2010-12-31

Duration: 36 months

Project Reference: 216679

Project cost: 4436511 EURO
Project Funding: 3099991 EURO

Subprogramme Area: Embedded Systems Design
Contract type: Collaborative project (generic)



Coordinatore: AUSTRIAN RESEARCH CENTERS GMBH - ARC - WIEN - ÖSTERREICH - Euringer, Peter

Altri Partecipanti

  • FORD FORSCHUNGSZENTRUM AACHEN GMBH - AACHEN - DEUTSCHLAND
  • PROVER TECHNOLOGY AB - STOCKHOLM - SVERIGE
  • TECHNISCHE UNIVERSITAET GRAZ - GRAZ - ÖSTERREICH
  • SP SVERIGES TEKNISKA FORSKNINGSINSTITUT AB - BORAS - SVERIGE
  • EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH - ZUERICH - SCHWEIZ/SUISSE/SVIZZERA
  • BUDAPESTI MUSZAKI ES GAZDASAGTUDOMANYI EGYETEM - BUDAPEST - MAGYARORSZAG
  • PROLAN IRANYITASTECHNIKAI ZARTKORUEN MUKODO RESZVENYTARSASAG - BUDAKALASZ LENFONOPARK - MAGYARORSZAG
  • RE:LAB S.R.L. - REGGIO EMILIA - ITALIA
  • THALES RAIL SIGNALLING SOLUTIONS GESMBH - WIEN - ÖSTERREICH
Quadro di finanziamento
  • 7FP-ICT : TECNOLOGIE DELL’INFORMAZIONE E DELLA COMUNICAZIONE: priorità tematica 3 nell'ambito del programma specifico “Cooperazione” recante attuazione del Settimo programma quadro (2007-2013) di attività comunitarie di ricerca, sviluppo tecnologico e dimostrazione
Area di interesse
  • Unione Europea