Inria
Inria.fr
Inria Channel
Il y a 2 Résultats avec le mot clé : "implantation"
Showroom des démos
L'outil SynDEx pour l'implantation distribuée optimisée sous contraintes temps réel d'applications embarquées critiques
Les applications embarquées critiques sont généralement modélisées et simulées avec des outils utilisant des schémas-blocs. D'une part on présentera l'outil SynDEx qui permet de lire de tels modèles d'applications, de spécifier des contraintes et des caractéristiques temporelles, de spécifier des architectures matérielles distribuées hétérogènes puis, après avoir effectué automatiquement une analyse d'ordonnançabilité temps réel et des optimisations, de générer du code correct par construction pour ces architectures embarquées. On présentera aussi une passerelle entre l'outil Scicos de modélisation et de simulation pour les systèmes de contrôle-commande et l'outil SynDEx.
Mots-clés :
Accueil > Innovation > Secteurs industriels > Aéronautique, défense, spatial, sécurité > Démos > L'outil SynDEx
Showroom des démos
L'outil SynDEx pour l'implantation distribuée optimisée sous contraintes temps réel d'applications embarquées critiques
Les applications embarquées critiques sont généralement modélisées et simulées avec des outils utilisant des schémas-blocs. D'une part on présentera l'outil SynDEx qui permet de lire de tels modèles d'applications, de spécifier des contraintes et des caractéristiques temporelles, de spécifier des architectures matérielles distribuées hétérogènes puis, après avoir effectué automatiquement une analyse d'ordonnançabilité temps réel et des optimisations, de générer du code correct par construction pour ces architectures embarquées. On présentera aussi une passerelle entre l'outil Scicos de modélisation et de simulation pour les systèmes de contrôle-commande et l'outil SynDEx.
Mots-clés :
Accueil > Innovation > Secteurs industriels > Edition de logiciels, systèmes embarqués > Démos > L'outil SynDEx
