HAZOP-UML¶

Documentations internes¶

Projet initial¶

• Sujet Projet Master : https://redmine.laas.fr/attachments/download/375/SujetProjetCOO-iupntie2008.doc
• HAZOPUML Architecture : https://redmine.laas.fr/attachments/download/373/HazopUMLarchitecture.docx

Publication¶

• Publication Jérémie : https://redmine.laas.fr/attachments/download/374/safety-science-published.pdf

Présentations¶

• HAZOP-UML in action : https://redmine.laas.fr/attachments/download/376/4-HAZOP-UML%20in%20action.pptx
• HAZOP-UML overview : https://redmine.laas.fr/attachments/download/377/2-HAZOP-UML%20overview.pptx

DCDWorkFlow¶

• Cette version initiale de 2012 se trouve dans le dépot GIT ici : ssh://git@redmine.laas.fr/laas/hazop-uml/dcdworkflow.git
• Fonctionne bien sous Eclipse Mars, mais il faut ajouter le plugin Nebula, téléchargeable depuis l'update site à cette adresse : http://download.eclipse.org/technology/nebula/snapshot
• Eventuellement s'assurer que tous les plugins sont correctement chargés, pour cela vérifier la "Run configuration" et faire "Add required plug-ins"
• Pour l’exécuter il faut lancer le product dcd.product

Papyrus¶

• Documentation : https://eclipse.org/papyrus/documentation.html
• Documentation pour la génération des profil UML avec Papyrus : https://eclipse.org/papyrus/documentation.html

Compte rendu des réunions projet¶

12 mai 2016¶

vérifier solution techno et dépendances pour le projet (contraintes etc) -> ex papyrus qu'est ce que ça implique en termes de développment ET d'utilisateur
[JM]

Mettre en ligne un doc de spec [JG]

Idée de dev : parseur syntaxique pour comparaison de danger (ne pas créer un new danger avec termes identiques)

spec:

• modéliser UML seq, UC + description textuelle UC (pre,post,invariants)
• configurer la liste des mots guides
• générer pour chaque élément des diagrammes UML les mots guides applicables au sein de la table HAZOP de déviation
• proposer une table avec des cases à saisir (interprétation de la déviation en termes d'effet, etc.)
• extraction de ces tables des listes de dangers et de recommandations
• assurer la tracabilité entre les dangers dans la liste finale ET où ils apparaissent dans les tables HAZOP de déviation

contraintes de dev:

• modèle UML de l'outil - analyse
• modèle based development
• library stables et communauté autour