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
Alt

http://www.itea-verde.org/

Project leader

Alt
Thomas Vergnaud
Thales SIX GTS France S.A.S, France
Project involvement VERDE
Alt Alt Alt

Project publications

Work package documents