Sûreté de fonctionnement des systèmes informatiques
Formation
À Cesson Sevigne
Avez-vous besoin d'un coach de formation?
Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.
Description
-
Typologie
Formation
-
Lieu
Cesson sevigne
Les domaines d'application des systèmes informatiques comprennent pratiquement tous les secteurs économiques : industrie, service... Dans certains domaines, comme les transports ou le contrôle de procédés industriels, les défaillances des systèmes informatiques peuvent avoir des conséquences catastrophiques à la fois humaines, matérielles et économiques. D'autres domaines, comme les services (banques, télécommunications...), voient leur fonctionnement dépendre complètement de l'intégrité des systèmes informatiques. Tout dysfonctionnement d'un tel système porte un grave préjudice, au moins financier, à son utilisateur. La sûreté de fonctionnement apparaît comme un objectif incontournable de conception des systèmes. Il convient donc de disposer de techniques permettant d'une part d'éviter ou de gérer les dysfonctionnements éventuels et d'autre part de valider, de mesurer le niveau de sûreté de fonctionnement d'un système informatique. Les méthodes et les outils doivent être adaptés au niveau de criticité de l'application.Cette formation présente les techniques nécessaires à la conception de systèmes informatiques sûrs de fonctionnement (fiables, disponibles et sécuritaires) ainsi que des méthodes d'analyse (qualitatives et quantitatives) de ces systèmes
Les sites et dates disponibles
Lieu
Date de début
Date de début
Les Avis
Le programme
- Notions de base de la sûreté de fonctionnement
- Fiabilité, disponibilité, sécurité
- Fautes, erreurs, défaillances
- Techniques de tolérance aux fautes
- Redondance matérielle, logicielle, temporelle, informationnelle
- Méthodes formelles de validation et outils
- Méthodes de validation des systèmes synchrones et asynchrones
- Validation des spécifications fonctionnelles et comportementales
- Test
- Test fonctionnel
- Test structurel statique, structurel dynamique
- Exemples de systèmes
- Systèmes commercialisés
- Systèmes expérimentaux
- Évaluation
- Analyse des Modes de Défaillance, de leurs Effets et de leur Criticité (AMDEC)
- Arbres de fautes
- Diagrammes de fiabilité
- Graphes de Markov
- Réseaux de Petri stochastiques
- Étude de cas
Avez-vous besoin d'un coach de formation?
Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.
Sûreté de fonctionnement des systèmes informatiques