Inria
Inria.fr
Inria Channel
Il y a 4 Résultats avec le mot clé : "sécurit"
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 :
Accueil > Innovation > Secteurs industriels > Aéronautique, défense, spatial, sécurité > Démos > Un processus de développement durable : l'expérience ATL
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 :
- UML/SysML
- Horloges logiques
- Langages polychrones
- Ordonnancement par contraintes
- Systèmes embarqués
- Aéronautique
- Défense
- Spatial
- Sécurit
Accueil > Innovation > Secteurs industriels > Aéronautique, défense, spatial, sécurité > Démos > TimeSquare
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 :
- UML/SysML
- Horloges logiques
- Langages polychrones
- Ordonnancement par contraintes
- Systèmes embarqués
- Aéronautique
- Défense
- Spatial
- Sécurit
Accueil > Innovation > Secteurs industriels > Edition de logiciels, systèmes embarqués > Démos > TimeSquare
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 :
Accueil > Innovation > Secteurs industriels > Edition de logiciels, systèmes embarqués > Démos > Un processus de développement durable : l'expérience ATL
