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

Project leader

Thomas Vergnaud
Thales Communications and Security, France
Project involvement VERDE

Project publications

Work package documents