METHOD AND SYSTEM FOR CONTROLLING THE SCHEDULING OF SOFTWARE TASKS

L'invention concerne un procédé et un système de contrôle d'ordonnancement de tâches logicielles à exécuter dans un contexte applicatif prédéterminé, les tâches logicielles (26a,...,26z) étant adaptées à être mises en oeuvre par un dispositif de calcul en mode d'exécution non privilégié, le dispositif de calcul comportant des ressources matérielles(14a-20a) gérées par un système d'exploitation (8) à noyau (10) exécutable en mode d'exécution privilégié. Ce procédé, exécuté par ledit noyau, effectue un ordonnancement de tâches logicielles à exécuter en fonction d'une structure de configuration (36) préalablement mémorisée définissant, pour ledit contexte applicatif donné, au moins un niveau de priorité associé à chaque tâche logicielle dudit contexte applicatif, ainsi que, pour chaque tâche logicielle dudit contexte applicatif, une information relative aux communications autorisées de ladite tâche vers une ou plusieurs tâches logicielles destinatrices, et pour ledit contexte applicatif donné, un ensemble d'états globaux, avec pour chaque état global, une indication de tâches autorisées dans ledit état, et une indication de transitions autorisées entre états globaux.