Loading...
Please wait, while we are loading the content...
Similar Documents
Apports de SysML à la modélisation des systèmes complexes
| Content Provider | Semantic Scholar |
|---|---|
| Author | Cressent, Robin David, Pierre Idasiak, Vincent Kratz, Frédéric |
| Copyright Year | 2009 |
| Abstract | La complexite des nouveaux systemes ne cesse de s'accroitre, en termes d'integration de multiples technologies, de nombre de composants, ainsi qu'en termes de performances attendues et en contraintes securi-taires. De plus, les phases de conception de ces systemes doivent egalement garantir la tenue de delais stricts pour un cout maitrise. Nous avons developpe une methode d'analyse de la surete de fonctionnement des systemes complexes, integree aux methodes d'ingenierie systeme dirigees par les modeles nommee MeDISIS. Nous montrons l'apport du langage SysML [14] pour l'etablissement d'un modele commun aux differents intervenants du projet, la tracabilite des exigences, et l'automatisation des liens vers les etudes de surete de fonctionnement [5,6,7,8]. Nous presentons dans un premier temps, comment extraire des diagrammes SysML fonctionnels, les infor-mations necessaires aux etudes de risques et constituer une AMDEC preliminaire servant de base aux etudes de surete de fonctionnement. Pour cela, des regles d'analyse des modeles SysML sont formulees a partir de l'etude de meta-modeles et corroborees par le biais d'etudes de cas industriels. A partir de ces regles, nous proposons une procedure de traitement des modeles SysML pour la generation d'AMDEC preliminaire. Cette procedure fait appel au retour d'experience gere a travers une base de donnees des comportements dysfonctionnels. Dans un second temps, nous expliquons la mise en place d'une traduction des modeles SysML vers une description utilisant AltaRica Data Flow, destinee a l'analyse quantitative de la SDF [15]. Organisee en deux etapes, la creation des modeles en AltaRica Data Flow, comporte la traduction directe de la partie fonctionnelle depuis des modeles SysML. Puis la partie concernant le comportement dysfonctionnel est ajoutee en exploitant les donnees recueillies lors de la phase d'AMDEC et gerees a travers notre base de donnees des comportements dysfonctionnels. Le troisieme axe developpe est celui des contraintes temporelles, ou 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 a focaliser les modeles sur les contraintes temporelles tous en gar-dant le lien vers les exigences et permettre ainsi d'introduire tres en amont du cycle de developpement les specifications temporelles notamment lors des choix d'architectures [4]. En termes de conclusion, nous indiquons comment ces activites s'inscrivent dans le cadre de l'etude et la conception d'un vehicule experimental hypersonique, fruit d'une collaboration en cours avec la societe MBDA. Nous indiquerons les difficultes et gains obtenus lors du deploiement de notre methode dans un processus deja existant. Ces reflexions portent sur les phases amont du cycle de developpement. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://hal.inria.fr/docs/00/63/08/10/PDF/Itt09article_cressent.pdf |
| Alternate Webpage(s) | https://hal.archives-ouvertes.fr/hal-00630810/document |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
