L’Union vise la cible zéro émission carbone en 2050. Cette orientation, qui pèse peu à l’échelle du Monde, impacte beaucoup les équilibres socio-économiques des États membres. L’UE, n’étant pas dotée compétences fiscales et sociales permettant de concevoir une transition écologique solidaire, prend le risque d’une dislocation socio-territoriale. Plus elle veut aller vite loin dans lutte contre ...

Résumé Les accélérateurs matériels, telles les cartes FPGA ou les cartes graphiques, apportent une alternative ou un complément intéressant aux processeurs multi-cœurs classiques pour de nombreuses applications scientifiques. Il est cependant coûteux et difficile d’y porter des applications existantes ; et les compilateurs standards, traditionnellement portés sur la génération de code pour proc...

RESUME. Les processus de développement pilotés par le modèle ont été pensés avec in fine l'objectif d'une évolution régulière et incrémentale. Peu d'outillage pourtant existe afin de supporter la coévolution des modèles et de leur méta-modèle. De nombreux travaux s'intéressent au développement piloté par le modèle des applications Web centrées sur les données, mais peu parmi ceux-ci s'intéresse...

Résumé. A contrario des normes UML 2.1 et SysML, le profil UML TURTLE (Timed UML and RT-LOTOS Environment) dispose d’une sémantique formelle et d’une méthodologie. Avec les systèmes temps réel pour cible, cette méthodologie met l’accent sur la vérification formelle du comportement des objets. Le profil TURTLE est doté d’un langage graphique et formalisé d’expression d’exigences temporelles. La ...