Verification-oriented & component-based model driven engineering for real-time embedded systems

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

Start date: 
Project Duration: 
Technological Area: 
Market Area: 

Raising the productivity and competitiveness of European businesses through technology. Boosting national economies on the international market, and strengthening the basis for sustainable prosperity and employment.