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/

Project leader

Thomas Vergnaud
Thales Communications and Security, France
Project involvement VERDE

Project publications

Work package documents