MADES is developing new model-driven technologies to improve current practices in the development of embedded systems for the Aerospace and Defence industries. The project is applying a holistic approach in researching new tools and technologies that support design, validation, simulation, and code generation, while providing better support for component reuse.
New annotation and verification methods are being developed that ensure overall system consistency and advanced code generation technologies will address both conventional programming languages and hardware description languages providing compile-time virtualisation techniques that are able to cope with the increasing complexity of modern hardware architectures.
MADES is a Seventh Framework Program ICT Project, started in february 2010.