Inria
Inria.fr
Inria Channel
Il y a 6 Résultats avec le mot clé : "temps réel"
Modélisation d'ondes sismiques, Inria
Informatique & sismologie
Sauver des vies
Entre la survenue d’un séisme et son impact dans une ville à proximité, il s’écoule quelques secondes, au maximum une à deux minutes, que l’on peut mettre à profil pour sauver des gens. Un immense défi pour les technologies de traitement de l’information en temps réel.
Mots-clés :
Accueil > Actualité > Actualités Inria > Sauver des vies
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 :
Accueil > Innovation > Secteurs industriels > Aéronautique, défense, spatial, sécurité > Démos > L’exploration d’architecture
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
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 :
Accueil > Innovation > Secteurs industriels > Edition de logiciels, systèmes embarqués > Démos > L’exploration d’architecture
Technologie - Systèmes embarqués
Polychrony systèmes embarqués
Construit autour du langage Signal, Polychrony facilite le développement intégré d'applications embarquées temps réel. C'est l'aboutissement d'un long cycle de recherche sur la modélisation formelle, comme l'expliquent les scientifiques de l'équipe-projet Espresso.
Mots-clés :
- ESPRESSO
- Polychrony
- Boîte à outils
- Systèmes embarqués
- Inria Rennes - Bretagne Atlantique
- SIGNAL
- Temps réel
Accueil > Centre > Rennes > Actualités > Polychrony systèmes embarqués
Centres de recherche Inria
