Inria
Inria.fr
Inria Channel
Précédent
Showroom des démos
Showroom des démos
Astrée : Preuve d'Absence d'Erreurs à l'Exécution
Astrée est un analyseur statique permettant la preuve d'absence d'erreurs à l'exécution dans des programmes C critiques embarqués. Cette preuve est entièrement automatique, et est effectuée au niveau du code source, vis à vis de la sémantique du langage. Astrée a analysé avec succès des applications de taille industrielle dans le domaine aéronautique et spatial. L'analyseur Astrée a été conçu et développé au sein de l'équipe Abstraction. Il est actuellement diffusé par l'entreprise Absint Angewandte Informatik.
Mots-clés :
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 :
Showroom des démos
TimeSquare : Spécifications Fonctionnelles à base de Temps Logique en Ingénierie des Modèles
TimeSquare est basé sur le formalisme CCSL (Clock Constraint Specification Language), partie du profil OMG UML MARTE (modélisation et l'analyse de systèmes temps-réel embarqués). L'outil permet de spécifier des horloges logiques et de les associer à des activations et rythmes comportementaux au sein d'un système embarqué (par exemple modélisé en UML ou SysML). TimeSquare permet l'analyse et l'unification des horloges logiques et de leurs temps hétérogènes, dans une perspective de placement/ordonnancement d'applications sur des plates-formes d'exécution.
Mots-clés :
Showroom des démos
Un processus de développement durable : l'expérience ATL
L'Ingénierie Dirigée par les Modèles consiste en la définition d’éléments logiciels par des modèles précis. La transformation de modèles permet alors d’en automatiser L’exploitation. Elle est notamment utilisée pour le développement logiciel, pour la rétro-ingénierie, ou encore en tant qu’élément du système logiciel (modèles à l’exécution). L’équipe AtlanMod travaille en collaboration avec Obeo sur ATL : un outil de transformation de modèles.
Mots-clés :
Showroom des démos
L’exploration d’architecture dans le domaine aéronautique et spatial par la technologie synchrone
Application de gestion des modes de distribution d'énergie d'un satellite en orbite avec optimisation de sa charge en mode survie. Evaluation de performance des systèmes embarqués distribués via la technologie synchrone.
Mots-clés :
Showroom des démos
Recherche par le contenu d'objets 3D
Les technologies récentes de numérisation et de modélisation 3D permettent de disposer de bases de modèles 3D de grande taille. Ces modèles sont très utilisés dans les domaines tels que la CAO, la synthèse d'images et la production audiovisuelle. La recherche par le contenu est une solution nécessaire pour structurer, gérer ces données multimédia, et pour naviguer dans ces bases. Dans ce contexte, notre système permet de retrouver automatiquement les modèles 3D visuellement similaires à un objet 3D requête.
Mots-clés :
Contact sectoriel
Vous êtes entrepreneur ? Industriel ? Vous souhaitez collaborer avec l'une de nos équipes de recherche ? Contactez notre responsable sectoriel aéronautique, défense, spatial, sécurité.
Brigitte Duême
Tél. : +33 1 39 63 53 04
