VERDE will develop and industrialise a solution for iterative, incremental development and validation of realtime embedded systems (RTES) in aerospace, software radio, railway and automotive domains. The project will integrate model-driven engineering (MDE), component-based infrastructures and verification-and-validation (V&V) techniques.
This will enable rapid prototyping through automatic mapping and execution on component-based platforms, and allow model-based testing and test-driven development. The result will be early validation of nonfunctional RTES properties, including performance and resource use. The solution will be readily exploitable by software engineering vendors and service providers.