Skip to navigation.Skip to subnavigation.Skip to content.

itemis AG


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.


Dr. Georg Pietrek
Board member

Phone: +49 231 9860-606