Re: MARTE

Je ne connais peut-être pas assez bien SART pour répondre précisément. Je dirais que MARTE "englobe" SART dans le sens où il permet de représenter une décomposition fonctionnelle du système avec des contraintes temps-réel. MARTE est davantage basé sur la séparation des préoccupations, à savoir modélisation du système d'un côté et modélisation de la plateforme de l'autre. Ensuite, des modèles d'allocation permettent de spécifier comment le système doit être implanté. Les modèles issus des modèles d'allocation permettent de mener différents types d'analyses d'ordonnancement, de performances, etc. En plus des contraintes temps-réel, MARTE permet de spécifier toutes sortes de propriétés non-fonctionnelles (poids, consommation, encombrement, etc.) utilisées dans les scénarios d'analyse servant à valider le système. En revanche, contrairement à SART, MARTE ne spécifie aucune méthodologie de conception / analyse. Des informations détaillées peuvent être trouvées sur le site http://www.omgmarte.org/