Apports de SysML à la modélisation des systèmes complexes à fortes contraintes de sûreté de fonctionnement - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Apports de SysML à la modélisation des systèmes complexes à fortes contraintes de sûreté de fonctionnement

Résumé

La complexité des nouveaux systèmes ne cesse de s'accroître, en termes d'intégration de multiples technologies, de nombre de composants, ainsi qu'en termes de performances attendues et en contraintes sécuri-taires. De plus, les phases de conception de ces systèmes doivent également garantir la tenue de délais stricts pour un coût maîtrisé. Nous avons développé une méthode d'analyse de la sûreté de fonctionnement des systèmes complexes, intégrée aux méthodes d'ingénierie système dirigées par les modèles nommée MéDISIS. Nous montrons l'apport du langage SysML [14] pour l'établissement d'un modèle commun aux différents intervenants du projet, la traçabilité des exigences, et l'automatisation des liens vers les études de sûreté de fonctionnement [5,6,7,8]. Nous présentons dans un premier temps, comment extraire des diagrammes SysML fonctionnels, les infor-mations nécessaires aux études de risques et constituer une AMDEC préliminaire servant de base aux études de sûreté de fonctionnement. Pour cela, des règles d'analyse des modèles SysML sont formulées à partir de l'étude de méta-modèles et corroborées par le biais d'études de cas industriels. À partir de ces règles, nous proposons une procédure de traitement des modèles SysML pour la génération d'AMDEC préliminaire. Cette procédure fait appel au retour d'expérience géré à travers une base de données des comportements dysfonctionnels. Dans un second temps, nous expliquons la mise en place d'une traduction des modèles SysML vers une description utilisant AltaRica Data Flow, destinée à l'analyse quantitative de la SDF [15]. Organisée en deux étapes, la création des modèles en AltaRica Data Flow, comporte la traduction directe de la partie fonctionnelle depuis des modèles SysML. Puis la partie concernant le comportement dysfonctionnel est ajoutée en exploitant les données recueillies lors de la phase d'AMDEC et gérées à travers notre base de données des comportements dysfonctionnels. Le troisième axe développé est celui des contraintes temporelles, où nous soulignons les points communs entre SysML et des langages de description d'architecture (ADL) comme AADL (Architecture Analysis & De-sign Language)[3]. Ici, nous nous attachons à focaliser les modèles sur les contraintes temporelles tous en gar-dant le lien vers les exigences et permettre ainsi d'introduire très en amont du cycle de développement les spécifications temporelles notamment lors des choix d'architectures [4]. En termes de conclusion, nous indiquons comment ces activités s'inscrivent dans le cadre de l'étude et la conception d'un véhicule expérimental hypersonique, fruit d'une collaboration en cours avec la société MBDA. Nous indiquerons les difficultés et gains obtenus lors du déploiement de notre méthode dans un processus déjà existant. Ces réflexions portent sur les phases amont du cycle de développement.
Fichier principal
Vignette du fichier
Itt09article_cressent.pdf (227.39 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00630810 , version 1 (11-10-2011)

Identifiants

  • HAL Id : hal-00630810 , version 1

Citer

Robin Cressent, Pierre David, Vincent Idasiak, Frédéric Kratz. Apports de SysML à la modélisation des systèmes complexes à fortes contraintes de sûreté de fonctionnement. ITT'09 (Technological Innovation and Transport Systems 2009), Oct 2009, Toulouse, France. p39. ⟨hal-00630810⟩
602 Consultations
1666 Téléchargements

Partager

Gmail Facebook X LinkedIn More