Ordonnancement temps réel
Abstract
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.