VERDE
VERification-oriented & component-based model Driven Engineering for real-time embedded systems
Project description
VERDE is developing and industrialising a solution for iterative, incremental development and validation of realtime embedded systems (RTES) in aerospace, software radio, railway and automotive domain
http://www.itea-verde.org/
France
ALSTOM Transport
France
CEA LIST
France
Geensoft
France
OBEO
France
Smartesting
France
Thales Research & Technology
France
Thales Alenia Space France
France
Thales SIX GTS France S.A.S
France
Germany
EADS Astrium
Germany
Fraunhofer FOKUS
Germany
FZI Forschungszentrum Informatik
Germany
Itemis
Germany
Robert Bosch GmbH
Germany
ScopeSET
Germany
University of Paderborn
Germany
Norway
ICT-Norway
Norway
SINTEF
Norway
Project publications
- VERDE Project results leaflet Project Leaflet 01 February 2013 Download
- Community Talk with Alexander Viehl Magazine article Issue 48 (July 2024) Download
- VERDE Innovation report Innovation Report 23 April 2013 Download
- Projekt VERDE Qualitatssicherung komponentenorientierter Echtzeitsysteme Press article 16 December 2012
Work package documents
- F2.2.4. VERDE - Methodology v1.1 Work package document 06 August 2013
- F3.1.1. VERDE - Analysis of Existing Frameworks and Definitions of Methodological Rules v2 Work package document 06 August 2013