Modèles de temps et de contraintes temporelles de MARTE et leurs applications

Description

Le profil UML MARTE a été créé pour la modélisation et l'analyse des systèmes temps réel embarqués. A ce titre, il permet d'annoter des modèles UML avec des paramètres temporels (durée, période, échéance, etc.). MARTE va bien au-delà de la simple annotation. Il définit un modèle de temps et de contraintes temporelles qui traite à la fois du temps dit physique et du temps logique. Le temps ''physique'' (appelé chronométrique en MARTE) est utilisé principalement dans les applications multitâches temps réel. MARTE permet aussi la prise en compte de plusieurs référentiels temporels dans une même application ce qui s'avère très utile en modélisation de systèmes répartis ou de systèmes électroniques ''multi-horloges''. Après une brève présentation du temps chronométrique, nous développons une facette moins connue de MARTE: le temps logique et le langage d'expression de contraintes appelé CCSL. Ceci introduit un modèle de ''temps pour la conception'' dans lequel la sémantique temporelle est directement intégrée au lieu d'être une simple annotation.

Abstract

Cours donné à l'École d'été temps réel - Brest - Août 2011

Additional details