Il y a 2 Résultats avec le mot clé : "UML/SysML"

AOSTE-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 :

Accueil > Innovation > Secteurs industriels > Aéronautique, défense, spatial, sécurité > Démos > TimeSquare

Lire la suite

AOSTE-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 :

Accueil > Innovation > Secteurs industriels > Edition de logiciels, systèmes embarqués > Démos > TimeSquare

Lire la suite

Haut de page