Abstract

Translated from French

L'invention a notamment pour objet la configuration incrémentale d'un module de type IMA, le module comprenant des ressources temporelles et matérielles ainsi qu'un système d'exploitation permettant une exécution ségréguée d'au moins deux applications à l'aide d'au moins une partie des ressources. The invention particularly relates to incremental configuration of an IMA module type, the module including time and material resources as well as an operating system for a segregated executing at least two applications using at least some of the resources.Après avoir obtenu (305) au moins un premier paramètre de configuration d'au moins une partie des ressources, ce paramètre visant une ressource propre au système d'exploitation ou une ressource commune au système d'exploitation et à au moins une des applications ou aux applications, le module est configuré (310) selon ce paramètre. After obtaining (305) at least a first parameter configuration of at least part of the resources, the setting for an own resource for the operating system or a common resource to the operating system and at least one application or applications, the module is configured (310) according to this parameter.Un second paramètre de configuration d'au moins une partie des ressources est ensuite obtenu (320), ce second paramètre visant une ressource propre à l'une des applications. A second configuration parameter of at least part of the resources is then obtained (320), the second parameter for own resources to one of the applications.Le module est alors configuré (330) selon ledit au moins un second paramètres. The module is then configured (330) according to said at least one second parameter.

Le procédé permet d'installer des applications indépendamment les unes des autres. The method allows to install applications independently of each other.Selon un mode de réalisation particulier, le procédé comprend en outre une étape de vérification dudit au moins un second paramètre, ladite étape de vérification comprenant une étape de comparaison dudit au moins un second paramètre à au moins une donnée de configuration de ressources dudit module, ladite au moins une donnée de configuration définissant l'ensemble des ressources dudit module pouvant être utilisées par ladite une desdites au moins deux applications. According to a particular embodiment, the method further comprises a step of verifying said at least one second parameter, said step of verifying including a step of comparing said at least one second parameter at at least one resource configuration data of said module, said at least one configuration data defining the set of resources of said module can be used by said one of said at least two applications.

Toujours selon un mode de réalisation particulier, le procédé comprend en outre les étapes suivantes - obtention d'au moins un troisième paramètre de configuration d'au moins une partie desdites ressources dudit module, ledit au moins un troisième paramètre de configuration visant une ressource partagée entre ladite une desdites au moins deux applications et ledit système d'exploitation ou l'autre desdites au moins deux applications ; According to another particular embodiment, the method further comprises the steps of - obtaining at least a third parameter of configuration of at least part of said resources of said module, said at least one third configuration parameter to a shared resource between said one of said at least two applications and said operating system or the other of said at least two applications;et, - configuration dudit module selon ledit au moins un troisième paramètres. and - configuration of said module according to said at least one third parameters.Une telle configuration incrémentale d'un module permet de développer indépendamment chaque application utilisant des ressources partagées d'un module sans qu'il soit nécessaire de prédéfinir la configuration correspondante. Such incremental configuration of a module can independently develop any application using shared resources of a unit without the need to predefine the corresponding configuration.

Toujours selon un mode de réalisation particulier, lesdites étapes d'obtention d'au moins un troisième paramètre de configuration et de configuration dudit module selon ledit au moins un troisième paramètre sont répétées pour ladite autre desdites au moins deux applications, ledit au moins un troisième paramètre de configuration associé à ladite une desdites au moins deux applications et ledit au moins un troisième paramètre de configuration associé à ladite autre desdites au moins deux applications visant une ressource partagée entre ladite une desdites au moins deux applications et ladite autre desdites au moins deux applications. According to another particular embodiment, said steps of obtaining at least a third parameter setup and configuration of said module according to said at least one third parameter are repeated for said other of said at least two applications, the at least one third configuration parameter associated with said one of said at least two applications and said at least one third configuration parameter associated with said other of said at least two applications to a shared resource between said one of said at least two applications and said other of said at least two applications .Cette configuration incrémentale d'un module permet le développement concurrent d'applications ayant des cycles de développement différents et utilisant des ressources partagées sans qu'il soit nécessaire de prédéfinir la configuration correspondante. This incremental configuration of a module allows concurrent development of applications with different development cycles and using shared resources without the need to predefine the corresponding configuration.Le procédé comprend en outre, de préférence, une étape de vérification de la conformité dudit au moins un troisième paramètre associé à ladite une desdites au moins deux applications selon ledit au moins un troisième paramètre associé à ladite autre desdites au moins deux applications. The method further comprises, preferably, a step of verifying compliance of said at least a third parameter associated with said one of said at least two applications in accordance with said at least a third parameter associated with said other of said at least two applications.Le partage de ressources du module n'engendre ainsi pas de problème d'interférence ou de dépassement de capacité du module lors de l'intégration d'applications tout en garantissant les performances temporelles des applications et une non-interférence des comportements individuels des applications entre elles. The module resource sharing and engenders no problem of interference or module overflow when integrating applications while ensuring the temporal application performance and non-interference in individual behavior between applications they.

3. Procédé selon la revendication 1 ou la revendication 2 comprenant en outre une étape de vérification dudit au moins un second paramètre, ladite étape de vérification comprenant une étape de comparaison dudit au moins un second paramètre à au moins une donnée de configuration de ressources dudit module, ladite au moins une donnée de configurationdéfinissant l'ensemble des ressources dudit module pouvant être utilisées par ladite une desdites au moins deux applications. 3. The method of claim 1 or claim 2 further comprising a step of verifying said at least one second parameter, said step of verifying including a step of comparing said at least one second parameter at at least one resource configuration data of said module, said at least one data configurationdéfinissant all resources of said module can be used by said one of said at least two applications.

5. Procédé selon l'une quelconque des revendications précédentes comprenant en outre les étapes suivantes, - obtention (320) d'au moins un troisième paramètre de configuration d'au moins une partie desdites ressources dudit module, ledit au moins un troisième paramètre de configuration visant une ressource partagée entre ladite une desdites au moins deux applications et ledit système d'exploitation ou l'autre desdites au moins deux applications ; 5. A method according to any preceding claim further comprising the steps of - obtaining (320) at least a third parameter of configuration of at least part of said resources of said module, said at least one third parameter configuration to a shared resource between said one of said at least two applications and said operating system or the other of said at least two applications;et, - configuration (330) dudit module selon ledit au moins un troisième paramètres. and - configuring (330) of said module according to said at least one third parameters.

6. Procédé selon la revendication précédente comprenant en outre une étape de vérification (325) de la conformité dudit au moins un troisième paramètre selon ledit au moins un premier paramètre, ledit au moins un premier paramètre visant une ressource commune audit système d'exploitation et à ladite une desdites au moins deux applications. 6. Method according to the preceding claim further comprising a step of verifying (325) the compliance of said at least one third parameter according to said at least one first parameter, said at least a first parameter for a common resource to said operating system and to said one of said at least two applications.

7. Procédé selon la revendication 5 ou la revendication 6 selon lequel lesdites étapes d'obtention d'au moins un troisième paramètre de configuration et de configuration dudit module selon ledit au moins un troisième paramètre sont répétées pour ladite autre desdites au moins deux applications, ledit au moins un troisième paramètre de configuration associé à ladite une desdites au moins deux applications et ledit au moins un troisième paramètre de configuration associé à ladite autre desdites au moins deux applications visant une ressource partagée entre ladite une desdites au moins deux applications et ladite autre desdites au moins deux applications. 7. A method according to claim 5 or claim 6 wherein said steps of obtaining at least a third parameter configuration and said configuration according to said module at least a third parameter are repeated for said other of said at least two applications, said at least one third configuration parameter associated with said one of said at least two applications and said at least one third configuration parameter associated with said other of said at least two applications to a shared resource between said one of said at least two applications and said other said at least two applications.

8. Procédé selon la revendication précédente comprenant en outre une étape de vérification (325) de la conformité dudit au moins un troisième paramètre associé à ladite une desdites au moins deux applications selon leditau moins un troisième paramètre associé à ladite autre desdites au moins deux applications. 8. Method according to the preceding claim further comprising a checking step (325) of the conformity of at least a third parameter associated with said one of said at least two applications according leditau least a third parameter associated with said other of said at least two applications .