L'introduction des nouvelles technologies de l'information et de la communication dans les systèmes automatisés entraîne un accroissement de la complexité des fonctions qu'ils supportent. Cet accroissement de la complexité a un impact sur la sécurité des systèmes. En effet, leurs propriétés ne sont plus réductibles aux propriétés de leurs constituants pris isolément mais émergent d'un réseau d'interactions entre ces constituants qui peut être à l'origine de comportements néfastes et difficiles à prévoir. <br />Notre conviction est que le développement sûr de ces systèmes doit combiner des approches pragmatiques orientées " système ", qui tiennent compte du facteur d'échelle réel d'une automatisation pour appréhender le fonctionnement global du système et son architecture, avec des approches plus formelles qui permettent de s'assurer que les propriétés intrinsèques des constituants contribuent efficacement au respect des exigences " système " formulées par les utilisateurs. <br />Le travail présenté dans ce mémoire définit donc une approche méthodologique basée sur le formalisme SysML (System Modeling Language) permettant l'identification, la formalisation et la structuration d'exigences globales relatives à un système, puis leur projection, sous forme de propriétés invariantes, sur une architecture de composants. La vérification des exigences de sécurité, repose alors, d'une part, sur un raffinement prouvé (par theroem proving) des exigences " système " permettant d'établir leur équivalence avec un ensemble de propriétés intrinsèques relatives à chacun des composants, et d'autre part, sur la vérification formelle (par model checking) de ces propriétés intrinsèques.

Les concepteurs de machines de production doivent prendre en consideration les differents aspects des produits tels que la technologie, la legislation et la securite professionnelle. la directive europeenne 2006/42/ce definie les principes de prevention des risques professionnels. destinee aux concepteurs de machines, son objectif est d’imposer la necessite d’obtenir le niveau de risque le plus faible possible selon l’etat de l’art. bien que les concepteurs de machines catalogues ont acces a des normes specifiques pour realiser les analyses a priori, ce n’est pas le cas pour les concepteurs de machines speciales. une approche originale appelee ezid est presentee dans ce papier pour aider tous les concepteurs de machine pour l’identification des phenomenes dangereux.basee sur le fait que les phenomenes dangereux sont lies a la presence d’energie, ezid les identifie au travers de la detection des parametres de conception lies aux sources et flux d’energie. elle renvoie ensuite de maniere organisee les informations relatives a tous les echanges d’energie potentiels entre les operateurs et la machine aux concepteurs, mettant en lumiere le besoin d’ajouter des solutions pour la prevention des risques. / Machine designers must take into account different aspects of products such as technology, legislation and occupational safety. european directive 2006/42/ce promulgates machine safety design principles to prevent occupational risks. aimed at machine designers, its objective is to set out the need to obtain the lowest possible risk level according to the state of the art. although the designers of catalog machines have access to specific standards to perform a priori risk analyses, this is not the case for special machine designers. an original approach called ezid is presented in this report to help all machine designers in the task of hazard identification.based on the fact that hazards are linked to the presence of energies, ezid identifies hazards through the detection of design parameters linked to energy sources and flows. it then feeds back organized information to designers on every potential exchange of energy between the machine and its operators, bringing to light the need to add risk prevention solutions.