Comparaison normes sécurité incendie étrangères (ex : norme NFPA130) avec identification des écarts avec NF SI/IEC61508

Vous travaillerez à l'édition d'une étude des écarts entre une norme de sécurité incendie étrangère et la norme Française NF SI/IEC61508.

Mise en place et maintien de la sûreté de fonctionnement d’un système sécuritaire

Définir et implémenter les activités relatives à la sûreté du fonctionnement de systèmes sécuritaire

Réalisation d’un outil de vérification automatique de données

Développer une preuve de concept d’une telle chaîne. Il s’agit de valider la faisabilité technique de cette chaîne, mais également d’évaluer les possibles gains en performance par rapport à la chaîne actuelle.

Génération automatique de tests pour les règles de validation de données

développer un outil de génération automatique de données-tests. Cet outil devra, à partir des propriétés énoncées, identifier les principaux cas d’intérêt et construire des jeux de données-tests permettant de les éprouver.