page d'accueil   sommaire  

Quasimodo: Propriétés quantitatives des systèmes dans la conception de systèmes embarqués à partir de modèles [Quasimodo: Quantitative System Properties in Model-Driven-Design of Embedded Systems]

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/ [The main goal of Quasimodo is to develop new techniques and tools for model-driven design, analysis, testing and code-generation for advanced embedded systems where ensuring quantitative bounds on resource consumption is a central problem. See: http://www.quasimodo.aau.dk/]



responsable


Jean-François RASKIN


équipe


Emmanuel FILIOT Gilles GEERAERTS


disciplines et mots clés déclarés


Informatique mathématique

consommation de resources génération de code systèmes embarqués