Notre catalogue de ressources
Naviguer par :
Menu
Toutes les ressources
Nouveautés
Recherche avancée
Par thème
Par auteur
Produite par UNIT
Aide
Recherche en cours
Par mots-clef
=
sûreté
Affiner ma recherche
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 12
Afficher 12
Afficher 24
Afficher 36
Afficher 48
Afficher 60
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
9
résultats
section 1
sur 1
résultats
1 à 9
UNIT
Analyse de risques : identification et estimation, partie 1 (Cyberrisques : cyber ingénierie des risques en génie civil)
Description
:
Première partie du module "Analyse de risques : identification et estimation" consacrée aux démarches d'analyse de risques et aux méthodes qualitatives d'analyse de risques. En replaçant l'analyse de risques dans le contexte industriel général qui l'a consacré, on propose tout d'abord de rappeler le ...
Date
:
01-03-2009
Description complète
Analyse de risques : identification et estimation, partie 1 (Cyberrisques : cyber ingénierie des risques en génie civil)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
Cyberrisques : cyber ingénierie des risques en génie civil - ensemble des ressources
Description
:
Cyberrisques est un outil pour la maîtrise des risques en Génie Civil qui réunit formations, retours d'expérience et base de données. Ce projet qui regroupe les partenaires du GIS-MRGenCI, vise le développement d'outils de formation et à la capitalisation de ressources pédagogiques pour la maîtrise ...
Date
:
01-06-2007
Description complète
Cyberrisques : cyber ingénierie des risques en génie civil - ensemble des ressources
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UVHC
E-diag : Sensibilisation aux principes de diagnostic
Description
:
Cours de sensibilisation aux techniques de diagnostic de procédés industriels dans le cadre du contrôle en ligne de systèmes. A partir d'exemples et en s'appuyant sur des connaissances de maintenance industrielle, il est proposé de définir et d?appliquer différentes logiques de diagnostic en ligne. ...
Date
:
15-02-2008
Description complète
E-diag : Sensibilisation aux principes de diagnostic
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
Etude de la sûreté de fonctionnement d'un aménagement hydraulique de génie civil - projet tuteuré (Cyberrisques : cyber ingénierie des risques en génie civil)
Description
:
Le Cemagref et le bureau d'ingénieurs conseils ISL ont réalisé, pour le compte de la ville de Nîmes, une étude de sûreté de fonctionnement portant sur un aménagement hydraulique, constitué de plusieurs barrages, ouvrages singuliers et réseaux à ciel ouvert et enterrés, et destiné à assurer une prote ...
Date
:
01-03-2009
Description complète
Etude de la sûreté de fonctionnement d'un aménagement hydraulique de génie civil - projet tuteuré (Cyberrisques : cyber ingénierie des risques en génie civil)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
Imaginer le futur du nucléaire (Transitions énergétiques : mécanismes et leviers)
Description
:
Ce module s'inscrit dans un cadre plus global s'intéressant aux sources et aux modes d'exploitation des systèmes énergétiques du futur, et propose un focus particulier sur le nucléaire. Après avoir brossé rapidement l'histoire nationale et internationale du développement du nucléaire civil, nous déc ...
Date
:
09-04-2018
Description complète
Imaginer le futur du nucléaire (Transitions énergétiques : mécanismes et leviers)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
Les jeux à la rescousse de la vérification
Description
:
Les bugs informatiques peuvent parfois avoir des conséquences dramatiques, que ce soit sur le plan humain ou financier... Alors comment s'assurer que les logiciels font bien ce qu'ils sont censés faire ? C'est là qu'interviennent les méthodes formelles, une approche mathématique qui permet de prouve ...
Date
:
07-09-2023
Description complète
Les jeux à la rescousse de la vérification
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
Pourquoi créer des nouveaux langages de programmation ?
Description
:
De nouveaux langages de programmation ainsi que des outils permettant de transformer ou d?analyser les programmes émergent chaque année grâce à la recherche dans ce domaine. Qu'est-ce qu'un bon langage ? Et surtout, pourquoi en crée-t-on toujours plus ?
Date
:
28-01-2019
Description complète
Pourquoi créer des nouveaux langages de programmation ?
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
Canal-u.fr
Preuve automatique de la sûreté de logiciels critiques
Description
:
Des logiciels tels que des commandes de vol d'avions doivent être d'une fiabilité totale, dans la mesure où un dysfonctionnement du calculateur de vol pourrait entraîner une catastrophe. En particulier, il serait inacceptable qu'un tel logiciel puisse produire des erreurs à l'exécution. Il est mathé ...
Date
:
06-12-2012
Description complète
Preuve automatique de la sûreté de logiciels critiques
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
Canal-u.fr
Risques liés à l'informatisation : dépendance ou confiance ?
Description
:
Les systèmes informatiques, ou plus exactement les Sciences et Technologies de l'Information et de la Communication, pour éviter une interprétation restrictive, ouvrent de nouveaux défis, car à la situation habituelle en matière de risque, qui considère uniquement les risques de nature accidentelle, ...
Date
:
21-10-2000
Description complète
Risques liés à l'informatisation : dépendance ou confiance ?
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
Afficher section
2
sur 1