L'ordonnancement temps réel est en charge d'assurer que tous les traitements parallèles en charge du contrôle d'un procédé critique s'exécutant à temps. Cet ordonnancement a lieu dans un certain contexte qui dépend de l’architecture matérielle et logicielle, et de l’exécutif temps réel. Il doit intégrer les problématiques de la validation temporelle. Les tests d'ordonnançabilité sont présentés pour les tâches à priorités fixes et pour les tâches indépendantes, puis en prenant en compte les facteurs pratiques tels que communications ou exclusions mutuelles.
La validation des systèmes temps réel répartis nécessite une analyse des traitements parallèles sur les processeurs (tâches), ainsi que des messages échangés par ces processeurs via le réseau. Cet article présente l'ordonnancement des systèmes temps réel répartis, afin de valider les contraintes temporelles des tâches et des messages échangés sur le réseau. Deux méthodes de validation sont présentées : l'une analysant conjointement les messages et les tâches, l'autre validant les messages indépendamment de l'exécution des tâches.
UML est utilisé industriellement pour le développement de logiciels. Son introduction plus récente dans le domaine du temps réel a montré qu’il offre une base riche et intéressante. Cet article fait un point sur les concepts standard d’UML pouvant être utilisés pour modéliser des systèmes temps réel et en particulier les différents supports fournis par UML pour la modélisation de la concurrence, du comportement, des communications et d’informations temporelles.
TECHNIQUES DE L'INGENIEUR
L'EXPERTISE TECHNIQUE ET SCIENTIFIQUE
DE RÉFÉRENCE
Avec Techniques de l'Ingénieur, retrouvez tous les articles scientifiques et techniques : base de données, veille technologique, documentation et expertise technique
Plus de 10 000 articles de référence, fiches pratiques et articles interactifs validés par les comités scientifiques
Toute l'actualité, la veille technologique, les études de cas et les événements de chaque secteur de l'industrie
SUIVEZ-NOUS
