| Etablissement | Université de Batna 2 - Mustafa Ben Boulaid | | Affiliation | Département de Mathématique | | Auteur | BOUMASSATA, Meriem | | Directeur de thèse | Benmohammed Mohammed (Professeur) | | Filière | Informatique | | Diplôme | Magister | | Titre | Vérification de Code pour Plate-Formes Embarquées. | | Mots clés | Systèmes Embarqués, Spécification, Sécurité, Vérification. | | Résumé | Des transactions bancaires aux téléphones cellulaires en passant par les jeux sur consoles mobiles, de plus en plus d'applications requièrent l'utilisation de code embarqué. Ce code, échangé généralement sous une forme pré-compilée(bytecode), peut être naturellement le produit de la compilation d'un programme source écrit dans un langage donné (cartes à puce, ...), mais peut aussi être d'une provenance inconnue (jeux en réseaux, hackers,......). Si dans le premier cas, on ne doute pas (ou peu) de sa correction, et ce, du fait - on peut le supposer - qu'il a été généré par un compilateur correct, il n'est pas garanti, en revanche, dans le deuxième cas que, la main l'ayant produit ne soit pas malicieuse ou du moins qu'elle ne se soit pas trompée. Il convient donc, avant de l'exécuter, de s'assurer qu'il est exempt d'erreurs et que son exécution sur la plate-forme hôte ne mettra pas en cause le bon fonctionnement de cette dernière, tant au niveau du temps de calcul qu'au niveau des ressources mémoires utilisées.
On s’intéresse ici aux différentes techniques et méthodes permettant de spécifier et de vérifier la véracité du code échangé entre les différentes machines.
L'étudiante est appelé à faire une étude bibliographique, et à développer un outils de vérification de code pour systèmes embarqués. | | Statut | Signalé |
|