Université Lille1 - Sciences et Technologies Sûreté et optimisation par les systèmes de types en contexte ouvert et contraint Safety and optimization by typing in the context of open and constraint devices 005.8 Optimisation mathématique Systèmes informatiques Mesures de sûreté Compilation (informatique) Types abstraits de données (informatique) Systèmes enfouis (informatique) Fiabilité Logiciels Vérification Composants logiciels Text Electronic Thesis or Dissertation fr La généralisation des équipements électroniques embarqués provoque des besoins croissants d'adaptabilité en ce qui concerne les systèmes logiciels qui doivent y être déployés. Par ailleurs, les faibles ressources dont les équipements disposent, ainsi que leur propension à se trouver en milieu non sécurisé, imposent des contraintes de performance et de fiabilité à ces mêmes systèmes. Le cadre de cette thèse est l'étude de la conception et de l'exploitation de systèmes de types afin d'adapter au mieux les systèmes logiciels à ces différentes contraintes. À travers la définition de systèmes de types adaptés, nous intervenons dans la chaîne de production logicielle de façon à faciliter le respect des contraintes spécifiques du domaine embarqué. Les contributions scientifiques de ce travail trouvent leur place dans deux périodes particulières du cycle de vie du logiciel. La première période est celle de la conception, durant laquelle nous proposons l'emploi d'un système de types présentant la propriété d'être suffisamment souple pour permettre l'expression de concepts de haut niveau sans crainte d'une dégradation de performance. La seconde période est celle du déploiement qui, par sa nature définitive , nous permet d'avoir recours au calcul de types plus spécifiquement orientés vers l'interprétation spécialisée des programmes, à des fins d'optimisation notamment. application/pdf 1 : 1 Mo https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2007/50376-2007-15.pdf Hodique Yann 1900-01-01 115261281 2007LIL10008 2007-01-01 Informatique Université Lille1 - Sciences et Technologies 026404184 Doctorat non oui Ryl Isabelle 114181721 Grimaud Gilles 122743083 ddc:000 ASCII PDF 9999