Le temps dans les systèmes contraints Contraintes de temps Bases de données -- Gestion -- Thèses et écrits académiques Temps réel (informatique) -- Thèses et écrits académiques Composants logiciels -- Thèses et écrits académiques Systèmes enfouis (informatique) -- Performances -- Évaluation Cartes à mémoire -- Performances -- Évaluation Java (langage de programmation Gestion mémoire (informatique) Traitement réparti 005.74 Cette HDR présente différents travaux dont le dénominateur commun est l'utilisation de la ressource temps pour d'une part ordonnancer efficacement des processus ou requêtes et d'autre part caractériser le comportement d'un système observé. Ces deux apports se retrouvent dans les trois chapitres qui constituent le mémoire. Dans le premier chapitre, nous nous sommes intéressés aux systèmes qui gèrent des applications manipulant une grande quantité de données fortement soumises à des contraintes de temps, appelés SGBDs temps réel. Dans ce cadre, nous avons essayé de traiter divers problèmes (contrôle de concurrence, validation, surcharge) en essayant de montrer à chaque fois comment prendre en compte les contraintes temporelles sans perdre l'intégrité des données. Le second chapitre traite d'un problème pertinent que nous avons essayé de résoudre qui concerne la conception d'applications temps réel par assemblage de composants en garantissant le respect des contraintes temporelles. Les travaux présentés ici proposent : d'une part, un modèle de composants temps réel qui permet une meilleure compréhension de l'architecture de composants et qui facilite la conception et l'analyse des applications temps réel; et d'autre part, un système de types qui sert à vérifier la compatibilité et la substituabilité des composants au niveau syntaxique, mais aussi la compatibilité et la substituabilité via des automates temporisés d'un point de vue comportemental et temporel. Outre les systèmes contraints par le temps, nous nous sommes intéressés aux plates-formes embarquées Java Card comme exemple de systèmes contraints par la ressource mémoire et la puissance de calcul. Dans ce chapitre, nous avons défini une méthode de mesure des temps d'exécution et d'élimination du bruit de mesure en vue de l'évaluation des performances et de la caractérisation des plateformes Java Card industrielles. Ce travail a d'ailleurs reçu un prix dans une conférence industrielle. Text Electronic Thesis or Dissertation FR application/pdf 1 : 1486443 https://pepite-depot.univ-lille.fr/LIBRE/HDR/2008/50376-2008-Bouzefrane.pdf Bouzefrane Samia 2008-01-01 Sciences mathématiques Université Lille1 - Sciences et Technologies thesis.degree.grantor_1 026404184 HDR non oui Simplot David ddc:000 Université Lille1 - Sciences et Technologies PDF ASCII 1486443