Le but de Quasimodo est le développement de nouvelles techniques et de nouveaux outils pour la conception, l'analyse, le test et la génération de code
à base de modèles dans le cadre des systèmes embarqués pour lesquels il est important de pouvoir assurer des bornes sur la consommation des ressources. 
    Voir: http://www.quasimodo.aau.dk/