Brevet FR3039293A1 (20170127)
REVENDICATIONS1.- Système de contrôle commande (10;\n<CLM>\1\topérationnel critique apte à contrôler le fonctionnement d'une pluralité d'équipements électroniques (12, 14), le système (10;\n<CLM>\1\tcomportant : - une pluralité de ressources matérielles (R) ; - une pluralité de logiciels applicatifs (LA,), au moins un logiciel applicatif (LA,) étant associé à au moins un équipement électronique (12,\n<CLM>\1\tpour contrôler cet équipement (12,\n<CLM>\1\ten exécutant des tâches opérationnelles relatives à cet équipement (12, 14), et étant configuré pour exécuter les tâches opérationnelles correspondantes en utilisant des ressources matérielles (R) dans une configuration prédéterminée, ces ressources dans une telle configuration étant milieu exécutif pour ce logiciel applicatif (LA,) ; - un logiciel d'ordonnancement (LO) apte à contrôler l'exécution des tâches opérationnelles dans le temps d'un ou plusieurs logiciels applicatifs ; le système (10 ;\n<CLM>\1\tétant caractérisé en ce qu'il comporte en outre une pluralité de machines virtuelles (MV,), chaque machine virtuelle (MV,) comprenant un logiciel exécutif associé à un logiciel applicatif (LA,) et étant apte à modéliser le milieu exécutif pour lequel ce logiciel applicatif (LA,) est configuré, pour exécuter les tâches opérationnelles de ce logiciel applicatif (LA,) en utilisant les ressources matérielles disponibles. 2.- Système (10;\n<CLM>\1\tselon la revendication 1, dans lequel chaque logiciel applicatif (LA,) est associé à une machine virtuelle (MV,) apte à modéliser le milieu exécutif pour lequel ce logiciel applicatif (LA,) est configuré. 3.- Système (10;\n<CLM>\1\tselon la revendication 1 ou 2, dans lequel le logiciel d'ordonnancement (LO) est apte à mettre des ressources matérielles (R) à la disposition d'une machine virtuelle (MV,) pour exécuter une tâche opérationnelle dans un slot temporel (Si à S6) prédéterminé, ledit slot temporel (Si à S6) présentant un intervalle de temps donné par le logiciel d'ordonnancement (LO) pour exécuter ladite tâche opérationnelle. 4.- Système (10;\n<CLM>\1\tselon la revendication 3, dans lequel le logiciel d'ordonnancement (LO) est apte à attribuer un slot temporel (Si à S6) à une tâche opérationnelle donnée de manière cyclique. 3039293 17 5.- Système (10;\n<CLM>\1\tselon la revendication 3 ou 4, dans lequel le logiciel d'ordonnancement (LO) est apte à attribuer un slot temporel (Si à S6) à une tâche opérationnelle donnée selon un schéma d'ordonnancement (SO) prédéterminé. 6.- Système (10;\n<CLM>\1\tselon l'une quelconque des revendications 3 à 5, dans lequel le logiciel d'ordonnancement (LO) est apte à attribuer un slot temporel (Si à S6) à une tâche opérationnelle donnée selon plusieurs schémas d'ordonnancement (SO) prédéterminés. 7.- Système (10;\n<CLM>\1\tselon l'une quelconque des revendications 3 à 6, dans lequel les tâches opérationnelles sont aptes à être exécutées indépendamment l'une de l'autre dans leurs slots temporels (Si à S6) respectifs. 15 8.- Système (10;\n<CLM>\1\tselon l'une quelconque des revendications 2 à 4, dans lequel le logiciel d'ordonnancement (LO) est apte à modifier le slot temporel (Si à S6) d'au moins une tâche opérationnelle pour permettre son exécution et à générer une alerte à chaque modification d'un slot temporel. 20 9.- Système (10;\n<CLM>\1\tselon l'une quelconque des revendications précédentes, dans lequel les ressources matérielles (R) sont distribuées entre les machines virtuelles (MV,) de manière indépendante, les ressources matérielles (R) attribuées à une machine virtuelle (MV,) donnée correspondant à l'ensemble des ressources matérielles (R) disponibles pour cette machine virtuelle. 25 10.- Système (10;\n<CLM>\1\tselon l'une quelconque des revendications précédentes, comportant en outre au moins une table de données d'échange (T), chaque machine virtuelle (MV,) étant apte à stocker dans ladite table (T) des données numériques en relation avec des tâches opérationnelles exécutées sur cette machine (MV,). 30 11.- Système (10;\n<CLM>\1\tselon la revendication 10, dans lequel chaque machine virtuelle (MV,) est apte en outre à accéder aux données numériques la concernant stockées dans au moins une partie de ladite table (T) pour exécuter une ou plusieurs tâches opérationnelles. 5 10 35