Les logiciels critiques nécessitent l'obtention d'une évaluation de conformité aux normesen vigueur avant leur mise en service. Cette évaluation est obtenue après un long travaild'analyse effectué par les évaluateurs de logiciels critiques. Ces derniers peuvent être aidéspar des outils utilisés de manière interactive pour construire des modèles, en faisant appel àdes analyses de flots d'information. Des outils comme SPARK-Ada existent pour des sous-ensembles du langage Ada utilisés pour le développement de logiciels critiques. Cependant,des langages émergents comme ceux de la famille ML ne disposent pas de tels outils adaptés.La construction d'outils similaires pour les langages ML demande une attention particulièresur certaines spécificités comme les fonctions d'ordre supérieur ou le filtrage par motifs. Cetravail présente une analyse de flot d'information pour de tels langages, spécialement conçuepour répondre aux besoins des évaluateurs. Cette analyse statique prend la forme d'uneinterprétation abstraite de la sémantique opérationnelle préalablement enrichie par desinformations de dépendances. Elle est prouvée correcte vis-à-vis d'une définition formellede la notion de dépendance, à l'aide de l'assistant à la preuve Coq. Ce travail constitue unebase théorique solide utilisable pour construire un outil efficace pour l'analyse de toléranceaux pannes.

En raison de ses vulnérabilités physiques et logiques, une infrastructure critique (IC) peut subir des défaillances, et en raison des interdépendances entre IC, de simples défaillances peuvent avoir des conséquences dramatiques sur lensemble de linfrastructure. Dans notre travail, nous nous concentrons principalement sur les systèmes dinformation et de communication (lIIC : infrastructure dinformation critique) dédiés au réseau d'énergie électrique. Nous proposons une nouvelle approche pour répondre aux problèmes de sécurité que rencontre une IIC, plus particulièrement, ceux liés au contrôle d'accès et à la collaboration. Le but est doffrir à chaque organisation faisant partie de lIIC la possibilité de collaborer avec les autres, tout en maintenant un contrôle sur ses données et sa politique de sécurité internes. Nous avons modélisé, et développé PolyOrBAC, une plateforme de contrôle daccès collaboratif, basée sur le modèle de contrôle daccès OrBAC et sur la technologie des Services Web, cette plateforme est applicable dans le contexte dune infrastructure critique en général, et plus particulièrement dans le cadre dun réseau électrique.

Les véhicules modernes sont de plus en plus équipés de nouveaux organes visant à améliorer la sécurité des occupants. Ces nouveaux systèmes sont souvent des organes actifs utilisant des données de capteurs sur le véhicule. Cependant, en cas de mauvais fonctionnement d'un capteur, les conséquences pour le véhicule peuvent être dramatiques. Afin de garantir la sécurité dans le véhicule, des nouvelles méthodologies de détections de défauts adaptées pour les véhicules sont proposées. Les méthodologies présentées sont étendues de la méthode de l'espace de parité pour les systèmes à paramètres variant (LPV). En outre, la transformation du problème de détection de défauts pour la détection de situations critiques est également proposée. Des résultats applicatifs réalisés sur un véhicule réel dans le cadre du projet INOVE illustrent les performances des détections de défauts et la détection de perte de stabilité du véhicule.

Avec l'évolution de la complexité et des performances des circuits intégrés, l'occurrence de défaillances non modélisables par de simples collages devient importante et même prépondérante. Ces effets ne sont généralement pas pris en compte par les méthodes classiques de diagnostic. Cette thèse a pour objectif le développement d'une méthode de diagnostic ciblant un ensemble élargi de modèles de fautes.<br />La méthode de diagnostic développée est présentée dans ce manuscrit de manière progressive. Dans un premier temps, les modèles de fautes considérés sont analysés afin de dégager les conditions de sensibilisation. La deuxième partie est consacrée à la présentation globale de la méthode de diagnostic développée. Cette méthode utilise principalement une approche " Effet à Cause " basée sur le traçage de chemins critiques. La troisième partie présente l'amélioration de cette méthode pour la prise en compte de pannes à effets spécifiques. La dernière partie est consacrée à la validation de chaque étape de l'évolution de la méthode de diagnostic au travers de diverses expérimentations.

Prévoir où, quand et comment les matériaux cassent est une problématique qui occupe scientifiques et ingénieurs depuis des siècles. Ce problème est rendu complexe par le fait que la concentration des contraintes en pointe de fissure lie intimement le comportement observé à l'échelle macroscopique aux inhomogénéités de microstructure à des échelles très fines. Ceci induit une dynamique de fissuration erratique, composée d'événements d'endommagement rapides et imprévisibles séparés de périodes calmes (e.g. dynamique des tremblements de terre le long des failles). Par essence, ces aspects statistiques ne peuvent pas être traités avec l'approche de la mécanique des milieux continus traditionnels. Dans un premier temps, nous tentons d'appréhender ce problème au travers d'une expérience modèle qui consiste à faire propager une fissure dans une roche artificielle dont nous contrôlons la microstructure. La vitesse de chargement du système de fracture est réglable sur une large gamme de valeurs. La vitesse de fissuration et l'énergie mécanique sont enregistrées en temps réel. En parallèle, l'émission acoustique associée aux événements de fracture ainsi que leur localisation sont mesurées via des capteurs piézoélectriques, puis analysées comme cela est communément fait en sismologie. Ces expériences nous permettent de caractériser quantitativement la dynamique intermittente de la fissuration. Elles montrent qu'un certain nombre des lois empiriques observées en géophysique sur la sismicité (loi de Richter-Gutenberg, d'Omori, de Voight, d'Utsu...) se retrouvent dans notre système modèle. Dans un deuxième temps, nous adressons ce problème théoriquement et numériquement, en identifiant le phénomène de fracture dans les matériaux hétérogènes avec celui de la propagation d'une ligne élastique sur un potentiel aléatoire 2D. Ceci permet de déterminer quantitativement, en termes de vitesse de chargement, de tailles des hétérogénéités, de propriétés du matériau, et de géométrie de structure, quand la dynamique de fissuration est régulière et compatible avec l'approche ingénieur des milieux continus, et quand elle devient erratique et nécessite une approche statistique. Dans ce dernier cas, nous caractérisons la statistique de de cette dynamique et relions celle-ci aux paramètres de l'expérience.

Le rôle croissant des biocarburants dans le marché de l'énergie a stimulé un regain d'intérêt dans l'étude des composés oxygénés. Les avancés dans le domaine des biocarburants proviennent de l'acquisition de données éxperimentales fiables, et du développement de modèles thermodynamiques qui rendent compte des phénomènes associatifs. Les mesures des constituants des biocarburants montrent souvent la coexistantes de phases multiples dont les interactions complexes ne se conforment que rarement aux méthodes conventionnels de modélisation. L'objectif de ce travail est de résoudre cette équation soumis à deux aspects distincts par deux sections. La première section présente des dispositifs experimentaux permettant de mesurer de certaines propriétés thermo-physiques, incluant des équilibres liquide-vapeur à haute et basse pressions, des points critiques, et dans une moindre mesure des enthalpies d'excès. Les appareillages sont validés en fournissant des mesures représentative d'autres données de la littérature existantes. De nouvelles mesures ont été réalisées pour des mélanges associés aux biocarburants contienent des alcools et des acides. Une légère modification des procédures usuelles de mesure des points critiques laisse paraître des résultats prometteurs. La deuxième section aborde de la modélisation de systèmes de biocarburants, comprenant entre autres les données mesurées dans la première section. Les mélanges contenant des groupements hydroxyles et/ou carbonyles comptent au moins un type d'interaction moléculaire mal représentés par les précédentes approches du mean field. Dans ce travail, nous utilisons les pleines capacités de l'équation d'état PC-SAFT basé sur des paramètres physique, et concevons au cas par cas des stratégies qui permettent de pallier aux problèmes dus aux nombreuses non-idéalités issues de ces systèmes. L'équation PC-SAFT couplée avec la théorie de groupe de renormalisation de White est appliquée pour modéliser la région critique. Cette forme améliorée à été testée avec des données experimentales critiques issues de ce travail, et emmène à des observations positives.

Les progrès récents dans la définition de mécanismes décisionnels ont permis de déléguer de plus en plus de responsabilités aux systèmes informatiques. Par exemple, des robots de service travaillent aujourd'hui en interaction avec l'humain et réalisent des tâches de plus en plus complexes. Ce transfert de responsabilité pose alors de manière critique le problème de la sécurité pour l'homme, l'environnement du système, ou le système lui-même. La surveillance en ligne par un moniteur de sécurité indépendant vise à assurer un comportement sûr malgré la présence de fautes et d'incertitudes. Un tel moniteur doit détecter des situations potentiellement dangereuses afin d'enclencher des actions de mise en état sûr et d'éviter les défaillances catastrophiques. Cette thèse traite de l'identification de conditions de déclenchement de sécurité permettant de lancer des actions de mise en état sûr. Un processus systématique permettant d'identifier de telles conditions est défini, en partant d'une analyse de risque HazOp/UML du système fonctionnel. Par ailleurs, une méthode est proposée pour identifier les états du système où des actions de sécurité peuvent être enclenchées simultanément, afin d'être revues et corrigées, en cas de besoin, par un expert du système. L'approche proposée est appliquée à un robot déambulateur.

Les progrès récents dans la définition de mécanismes décisionnels ont permis de déléguer de plus en plus de responsabilités aux systèmes informatiques. Par exemple, des robots de service travaillent aujourd'hui en interaction avec l'humain et réalisent des tâches de plus en plus complexes. Ce transfert de responsabilité pose alors de manière critique le problème de la sécurité pour l'homme, l'environnement du système, ou le système lui-même. La surveillance en ligne par un moniteur de sécurité indépendant vise à assurer un comportement sûr malgré la présence de fautes et d'incertitudes. Un tel moniteur doit détecter des situations potentiellement dangereuses afin d'enclencher des actions de mise en état sûr et d'éviter les défaillances catastrophiques. Cette thèse traite de l'identification de conditions de déclenchement de sécurité permettant de lancer des actions de mise en état sûr. Un processus systématique permettant d'identifier de telles conditions est défini, en partant d'une analyse de risque HazOp/UML du système fonctionnel. Par ailleurs, une méthode est proposée pour identifier les états du système où des actions de sécurité peuvent être enclenchées simultanément, afin d'être revues et corrigées, en cas de besoin, par un expert du système. L'approche proposée est appliquée à un robot déambulateur.

Au vu de l'utilisation croissante des technologies de l'information et de la communication dans les réseaux électriques, il est indispensable d'étudier l'étroite liaison entre ces infrastructures et d'avoir une vision intégrée du système couplé. Cette thèse porte ainsi sur la modélisation des systèmes multi-infrastructures. Cela inclut les interdépendances et les trajectoires de défaillances de type modes communs, aggravations et cascades. Il est en effet nécessaire d'identifier les points de faiblesse qui peuvent déclencher une ou de multiples défaillance(s), se succéder en cascade au travers de ces infrastructures liées et ainsi entrainer des défaillances inattendues et de plus en plus graves dans des autres infrastructures. Dans cette optique, différents modèles basés sur la théorie des Réseaux Complexes sont développés afin d'identifier les composants les plus importantes, et pourtant critiques, dans le système interconnecté. Un des principaux verrous scientifiques levé dans cette thèse est relatif au dé-veloppement d'un modèle mathématique " unifié " afin de représenter les comportements des multiples infrastructures non-homogènes qui ont des interdépendances asymétriques.

Les systèmes temps-réel critiques sont de plus en plus complexes, et les exigences fonctionnelles et non-fonctionnelles ne cessent plus de croître. Le flot de conception de tels systèmes doit assurer, parmi d'autres propriétés, le déterminisme fonctionnel et la prévisibilité temporelle. Le déterminisme fonctionnel est inhérent aux modèles de calcul flot de données (ex. KPN, SDF, etc.) ; c'est pour cela qu'ils sont largement utilisés pour modéliser les systèmes embarqués de traitement de flux. Un effort considérable a été accompli pour résoudre le problème d'ordonnancement statique périodique et à mémoire de communication bornée des graphes flots de données. Cependant, les systèmes embarqués temps-réel optent de plus en plus pour l'utilisation de systèmes d'exploitation temps-réel et de stratégies d'ordonnancement dynamique pour gérer les tâches et les ressources critiques. Cette thèse aborde le problème d'ordonnancement temps-réel dynamique des graphes flots de données ; ce problème consiste à assigner chaque acteur dans un graphe à une tâche temps-réel périodique (i.e. calcul des périodes, des phases, etc.) de façon à : (1) assurer l'ordonnançabilité des tâches sur une architecture et pour une stratégie d'ordonnancement (ex. RM, EDF) données ; (2) exclure statiquement les exceptions d'overflow et d'underflow sur les buffers de communication ; et (3) optimiser les performances du système (ex. maximisation du débit, minimisation des tailles des buffers).