Présentation

Article

1 - INTÉRÊT DE UML POUR LE TEMPS RÉEL

2 - VUE GÉNÉRALE DE UML

3 - CARACTÉRISTIQUES TEMPS RÉEL QUALITATIVES

4 - CARACTÉRISTIQUES TEMPS RÉEL QUANTITATIVES

| Réf : S8070 v1

Caractéristiques temps réel quantitatives
UML pour le temps réel : le langage et les méthodes

Auteur(s) : François TERRIER, Sébastien GÉRARD

Date de publication : 10 juin 2005

Pour explorer cet article
Télécharger l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !

Sommaire

Présentation

Version en anglais En anglais

Auteur(s)

  • François TERRIER : Docteur ès Sciences en Informatique - Professeur à l’Institut National des Sciences et Techniques Nucléaires - Responsable du Laboratoire Logiciels pour la Sûreté des Procédés (L-LSP) du CEA-List de Saclay

  • Sébastien GÉRARD : Ingénieur de l’École Nationale Supérieure de Mécanique et d’Aérotechnique - Docteur ès Sciences en Informatique - Responsable de l’équipe de recherche ACCORD du L-LSP (CEA-List) sur l’ingénierie de la modélisation pour les systèmes temps-réel, embarqués et distribués

Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.

Lire l’article

INTRODUCTION

Avec la normalisation de UML (Unified Modeling Language), le point dur de la profusion de formalismes orientés objets est tombé, facilitant par là-même l’introduction de ces technologies dans le domaine industriel. Les travaux en cours à l’OMG (Objet Management Group) pour introduire dans les évolutions de la norme les points relatifs au domaine du temps réel montrent d’une part qu’il y a un intérêt fort pour ce domaine applicatif et d’autre part que les propositions courantes sont encore amenées à s’affiner pour satisfaire pleinement les besoins.

Ce texte vise à faire un point sur les concepts natifs de UML déjà disponibles en standard et qui peuvent être utilisés pour modéliser des systèmes temps réel. En particulier, nous décrirons rapidement les différents supports fournis par UML pour la modélisation de la concurrence, du comportement, des communications et d’informations temporelles quantitatives.

Un second article « UML pour le temps réel. Applications » illustrera ces concepts sur une étude de cas en mettant en évidence une approche méthodologique proposée pour soulever les points les plus délicats de l’utilisation d’UML.

Cet article est réservé aux abonnés.
Il vous reste 92% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

VERSIONS

Il existe d'autres versions de cet article :

DOI (Digital Object Identifier)

https://doi.org/10.51257/a-v1-s8070


Cet article fait partie de l’offre

Automatique et ingénierie système

(137 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS

Version en anglais En anglais

4. Caractéristiques temps réel quantitatives

Les paragraphes précédents étaient dédiés à la modélisation des aspects qualitatifs des applications temps réel : concurrence, communication, comportement et actions. Nous allons maintenant nous focaliser sur les aspects quantitatifs de la spécification temps réel en UML.

UML définit deux types de données relatives au temps, Time et TimeExpression :

  • Time définit une valeur représentant un moment absolu ou relatif du temps ;

  • TimeExpression permet de spécifier des expressions dont l’évaluation donne une valeur de type Time.

Ces données peuvent intervenir, en particulier, dans deux types de diagrammes : les diagrammes d’états et les diagrammes de séquence.

4.1 Modélisation de propriétés temporelles dans les diagrammes d’états

Dans le contexte des diagrammes d’états, UML définit un événement spécifique appelé TimeEvent. Il sert à modéliser l’expiration d’une échéance qui peut être relative ou absolue :

  • un événement dénotant le passage d’une quantité de temps suite à l’entrée dans l’état contenant la transition est noté avec le mot-clé after suivi d’une expression de type TimeExpression qui donne la valeur temporelle de l’événement ;

  • un événement dénotant l’occurrence d’une date absolue est noté via le mot-clé when suivi d’une date absolue de type Time.

Le tableau 1 contient trois extraits de modèle illustrant l’utilisation possible des événements temporels de UML dans les machines à états-transitions.

Dans les trois cas du tableau 1, lorsque le temporisateur armé arrive à échéance, il génère un événement qui est stocké comme tout autre événement dans la file d’attente associée à la machine à états. Si celle-ci est dans l’état S au moment où l’événement temporel est sélectionné, l’événement est consommé et la transition est tirée. Dans...

Cet article est réservé aux abonnés.
Il vous reste 95% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

Cet article fait partie de l’offre

Automatique et ingénierie système

(137 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS

Lecture en cours
Caractéristiques temps réel quantitatives
Sommaire
Sommaire

Cet article est réservé aux abonnés.
Il vous reste 95% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

Cet article fait partie de l’offre

Automatique et ingénierie système

(137 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS