摘要 |
<P>Le procédé selon l'invention consiste à faire exécuter une succession de phases opératoires à un ensemble de tâches concurrentes de l'exécutif temps réel, sous la direction d'une tâche conductrice qui organise la mise en œuvre des tâches concurrentes, qui règle leur lancement et qui détecte leur achèvement. Chaque phase opératoire comprend le choix aléatoire d'un mode de lancement, le lancement des tâches concurrentes, la libération de leur condition d'attente, la détection de l'arrivée de chacune des tâches concurrentes en fin de parcours et la mémorisation de paramètres caractéristiques de la phase opératoire qui vient de se dérouler. <BR/> L'invention permet de valider des exécutifs temps réels utilisés notamment dans les domaines aéronautique, spatial, nucléaire, ferroviaire, médical ou même en robotique.</P>
|