GENERALITES SUR LA SURETE DE FONCTIONNEMENT
Prรฉsentation de lโoutil Magicdraw
Le langage Sysml pour รชtre pertinent, doit รชtre utilisรฉ grรขce ร un logiciel, qui permettra de conserver tous les liens entre les diffรฉrents diagrammes qui ont vocation ร รฉvoluer en permanence avec lโรฉtat dโavancement de lโanalyse du systรจme. : Le logiciel Magic Draw est ร ce jour le plus utilisรฉ par les entreprises, et les enseignants. [Romaric.G,2011].La solution SysML est emballรฉe en tant que plugin vers l’outil MagicDraw. Pour ce travail on a utilisรฉ MagicDraw 18.5 version dโรฉvaluation dรฉmo avec une licence flottante (voir figure III.16).
Model Sysml du systรจme STEP Aine El Houtz Tlemcen
Nous rappelons que nous souhaitons modรฉliserla STEP afin de partager les donnรฉes dโingรฉnierie sur une base commune lors de lโingรฉnierie du systรจme, ceci entre les diffรฉrents participants ร la conception (particuliรจrement entre les ingรฉnieurs systรจme et les ingรฉnieurs de sรปretรฉ de fonctionnement pour ce qui concerne notre problรฉmatique). Nous verrons que lโessentiel dela modรฉlisation prรฉsentรฉ ici sโattache ร la dรฉfinition des exigences et a lโanalyse structurelle et fonctionnelle de la STEP par diagrammes.
Diagramme des exigencesย
En anglais : requirement diagram Notation SysML: req Cโest un diagramme fonctionnel. Il dรฉcrit les exigences du cahier des charges fonctionnel (voire figure III.17). Une exigence exprime une capacitรฉ ou une contrainte ร satisfaire par un systรจme. Elle peut exprimer une fonction que devra rรฉaliser le systรจme ou une condition de performance technique, physique, de sรฉcuritรฉ, de fiabilitรฉ, dโergonomie, dโesthรฉtismeโฆ
ย Diagramme des cas dโutilisation :
En anglais : use case diagram Notation SysML: uc Cโest un diagramme fonctionnel. Il montre les interactions fonctionnelles des acteurs et du systรจme dโรฉtude(voire figure III.18). Il dรฉlimite prรฉcisรฉment le systรจme, dรฉcrit ce que fera le systรจme sans spรฉcifier comment (et non ce que fera lโutilisateur). Il exprime les services (use cases) offert par le systรจme aux utilisateurs (actors).
Diagramme de dรฉfinition de blocsย
En anglais : block definition diagram
Notation SysML: bdd
Cโest un diagramme statique. Il montre les briques statiques : blocs, composition, associationsโฆ Il est utilisรฉ pour dรฉcrire lโarchitecture matรฉrielle du systรจme. Un bloc est une entitรฉ bien dรฉlimitรฉe qui encapsule principalement des attributs (variables dโรฉtat), des opรฉrations (procรฉdures comportementales), des contraintes, des ports (รฉchange de flux avec lโextรฉrieur) et des parts (sous-blocs internes). Un bloc peut modรฉliser tout le systรจme, un รฉlรฉment matรฉriel ou logiciel (voire figure III.19).
Le Profile SafeML :
SafeML est un profil pour le langage de modรฉlisation SysML mettant l’accent sur les informations pertinentes ร la sรฉcuritรฉ d’un systรจme.SafeML est une langue de modรฉlisation pour effectuer des analyses automatiques liรฉes ร la sรฉcuritรฉ, telles que lโanalyse d’arbre de dรฉfauts ou HAZOP. Plutรดt, SafeML est destinรฉ ร reprรฉsenter les rรฉsultats de tels analyse dans le modรจle du systรจme, fournissant un seul point de documentation pour la conception du systรจme information et informations sur la sรฉcuritรฉ du systรจme (voir la figure III.20). Ce faisant, SafeML amรฉliore la cohรฉrence et la traรงabilitรฉ des informations sur un systรจme liรฉ ร la sรฉcuritรฉ. SafeML peut รชtre utilisรฉ pour :
1. traรงage des dangers ร travers les mesures de sรฉcuritรฉ utilisรฉes pour les รฉtapes de vรฉrification prises pour tester ces mesures.
2. documenter les risques analysรฉs et leurs mesures de sรฉcuritรฉ auprรจs des autoritรฉs de certification.
3. communiquer des ingรฉnieurs de sรฉcuritรฉ aux ingรฉnieurs du systรจme les dangers qui doivent รชtre considรฉrรฉs tout en concevant pour rรฉpondre aux exigences, tel qu’identifiรฉ par l’analyse des risques et de la sรฉcuritรฉ processus.
4. communiquer des ingรฉnieurs du systรจme aux ingรฉnieurs de sรฉcuritรฉ les dangers que le systรจme est conรงu pour gรฉrer, y compris les mesures de sรฉcuritรฉ utilisรฉes.
En tant que profil SysML, SafeML est conรงu pour รชtre utilisรฉ conjointement avec SysML. SysML fournit les diagrammes et les types d’รฉlรฉments nรฉcessaires ร la modรฉlisation de conception, tandis que SafeML fournit l’รฉlรฉment types utilisรฉs pour ajouter des informations de sรฉcuritรฉ au modรจle. La relation entre SafeML et SysML est illustrรฉ ร la figure III.15. [N.I.A.I.S.T, 2014]
|
Table des matiรจres
Introduction Gรฉnรฉrale
CHAPITRE I : GENERALITES SUR LA SURETE DE FONCTIONNEMENT
I. Introduction
II. Les Grandeurs De La Surete De Fonctionnement
II.1 Fiabilitรฉ
II.2. Maintenabilitรฉ
II.3. Taux de dรฉfaillance
II.4. Disponibilitรฉ
II.5. Sรฉcuritรฉ
III. Relations Entre Les Grandeurs De La Surete
IV. Les Etats De Fonctionnement Dโun Systeme
V. Notion De Risque
VI. Les outils d’analyse des defaillances
VI.1. Mรฉthode ABC (Diagramme Pareto)
VI.2. Arbre de dรฉfaillances
VI.3. Analyse des modes de dรฉfaillance, de leurs effets et de leur criticitรฉ (AMDEC)
VII. Les Enjeux
VIII. L’importance de la sรปretรฉ de fonctionnement dans une step
IX. Conclusion
CHAPITRE II : LโANALYSE DES DYSFONCTIONNEMENTS DANS LES STATIONS DโEPUARTION A BOUES ACTIVEES\
I. Introduction
II.Les Facteurs Susceptibles Dโaffecter Le Fonctionnement Dโune Step A Boues Activees
II.1.La Nature De Lโeau Usee Et Le Reseau
II.2. La Conception De La Station
II.2.1. La dรฉcantation primaire
II.2.2. Les bassins biologiques
II.3. Lโexploitation de la station
III-Conclusion
CHAPITRE III : DESCRIPTION ET MODELISATION DE LA STATION DโEPURATIONDโAINE EL HOUTZ -TLEMCEN
I. Introduction
II. La Situation Geographique De La Station
III. La Description Technique De La Station
III.1. Description Des Installations
III.2. Donnรฉes de base
IV. MODELISATION SYSML DE LA STEP DE AIN EL HOUTZ
IV.1.Presentation du language Sysml
IV.2. Prรฉsentation de lโoutil Magicdraw )
IV.3. Model Sysml du systรจme STEP Aine El Houtz Tlemcen
IV.3.1- Diagramme des exigences
IV.3.2- Diagramme des cas dโutilisation
IV.3.3- Diagramme de dรฉfinition de blocs
IV.3.2- Diagramme des cas dโutilisation
IV.3.3- Diagramme de dรฉfinition de blocs
IV.3.4- le profile SafeML
V. Conclusion
Chapitre IV : LโETUDE DE LA SURETE DE FONCTIONNEMENT DE LA STATION DโEPURATION DโAIN EL HOUTZ -TLEMCEN
I. Introduction
II. PRINCIPE DE LA METHODE
III. ETAPE 1 : CREATION ET PREPARATION DE LA BASE DE DONNEES
III-1. Crรฉation de la base de donnรฉes
III-2. Prรฉparation de la base de donnรฉes
III-3. Analyse sur les valeurs du Matiรจres en suspension MES
III-4. Analyse sur les valeurs de la demande biochimique en oxygรจne DBO5
III-5. Analyse sur les valeurs de lโammonium NH4+
III-7. Analyse sur les valeurs du Nitrat N-NO3-
III -8 Analyse sur les valeurs lโOxygรจne dissous O2 Diss
III-9. Classement des dรฉfaillances selon leurs ordres dโimportance avec la mรฉthode abc
IV. Analyse multi variables
IV.1.corrรฉlation entre les paramรจtres
IV.1.1.Analyse plusieurs variables
IV.1.2 corrรฉlation non paramรฉtrique
IV.1.3 Analyse en composante principale (ACP)
IV.1.4 .vรฉrification de la fiabilitรฉ des rรฉsultats
IV.1.5..Analyse temporelle
IV.2.Classement des dรฉfaillance selon leurs ordres dโimportance
IV.3.Diagramme de criticitรฉ
VI. ETAPE 3 : ANALYSE PREVISIONNELLE DES DEFAILLANCES (AMDEC)
V. ETAPE 4 :ANALYSE QUALITATIVE DES DEFAILLANCES (ARBRE DE DEFAILLANCE
VI. Conclusion
Conclusion gรฉnรฉrale
Rรฉfรฉrences bibliographique
Tรฉlรฉcharger le rapport complet