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

Project leader

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

Project publications

Work package documents