Vous êtes ici

ETUDE DES SOLUTIONS DE CONFIANCE POUR L'ISOLATION DANS LES SYSTEMES EMBARQUES / VERS LA PROPOSITION D'UN MODELE GENERIQUE

DE BONFILS LAVERNELLE Jean
Résumé : 

L’isolation dans les systèmes embarqués est devenue un réel besoin pour les industries, notamment dans le secteur de « l’internet des objets industriels » (IIoT), l’automobile, le médical ou encore l’avionique. Dans ces domaines, souhaitant implémenter une isolation dans leurs systèmes embarqués, il est possible de définir plusieurs environnements types, c’est-à-dire des contraintes, cas d’utilisation, contextes d’utilisation et des besoins précis en matière d’isolation. Tout d’abord, il sera indispensable d’analyser les différentes solutions d’isolation déjà existantes incluant les hyperviseurs et les microkernels, en portant une attention particulière aux solutions à base de partitionnement statique, puisque bien adaptées aux systèmes embarqués. Cela nous permettra d’avoir une meilleure vue sur les contraintes qui peuvent exclure ces mécanismes lors de la conception d’une architecture d’isolation générique. Une fois les différentes solutions d’isolation analysées, nous choisirons des environnements types tirés de domaines industriels comme l’avionique ou l’automobile et nous essaierons de trouver toutes les contraintes liées à l’isolation du système. En considérant ces dernières, nous tenterons de concevoir un modèle de confiance propre à l’environnement type. Nous étendrons le concept de rôle, très peu développé dans les solutions existantes, dans le but de faire le lien entre les acteurs dans l’environnement et leurs représentations dans le système. Ensuite, nous modéliserons une architecture d’isolation basée sur le modèle de confiance défini, pour l’environnement type donné et répondant aux différentes contraintes générées par l’environnement. Monsieur DE BONFILS passera plus de 90% de son temps chez Thalès.