La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

Copyright 2009 par Patrice Micouin –Edité et utilisé par AFIS et INCOSE avec sa permission Ingénierie des exigences et conception des systèmes daéronefs.

Présentations similaires


Présentation au sujet: "Copyright 2009 par Patrice Micouin –Edité et utilisé par AFIS et INCOSE avec sa permission Ingénierie des exigences et conception des systèmes daéronefs."— Transcription de la présentation:

1 Copyright 2009 par Patrice Micouin –Edité et utilisé par AFIS et INCOSE avec sa permission Ingénierie des exigences et conception des systèmes daéronefs Dr Patrice MICOUIN MICOUIN Consulting LSIS, Arts et Métiers ParisTech,

2 Copyright 2009 par Patrice Micouin –Edité et utilisé par AFIS et INCOSE avec sa permission Objectif Proposer un cadre de développement aussi cohérent et complet que possible qui permette de: 1. satisfaire aux exigences des autorités de certification 2. répondre à des standards tels que lARP intégrer les activités de développement et dévaluation de la sûreté (safety assessment) 4. contribuer à la définition dune ingénierie des systèmes aéronautiques basée sur les modèles

3 Copyright 2009 par Patrice Micouin –Edité et utilisé par AFIS et INCOSE avec sa permission Plan 1.Une théorie des exigences bien formées basée sur le concept de propriété 2.Le cadre de développement proposé par lEIA Les exigences de certification et lEIA Les exigences de sûreté et lEIA Discussion

4 Copyright 2009 par Patrice Micouin –Edité et utilisé par AFIS et INCOSE avec sa permission When AC.Altitude [0ft,1000ft] val (Provide-AC-Vertical-Position.Accuracy) 25ftWhen Power_on val (Avionics.Provide-AC-Vertical-Position) =True Quest-ce quune exigence bien formée? Expression de la forme: Ex: [When Condition =>] val (Object.Property) D When Take-Off val (Aircraft.Weight) < nT Relation dordre: être plus contraignante que Ex1 Ex2 Sat (Ex1) Sat (Ex2) Opération de conjonction Ex=Ex1 Ex2 Sat (Ex) =Sat (Ex1)Sat (Ex2) Types dexigence: Structurelle Comportementale Mixte Sources dexigence: Certification Sûreté Maintenabilité.. Toward a property based requirements theory: System requirements structured as a semilattice INCOSE Journal of Systems Engineering, Volume 11, Issue 3 (August 2008)

5 Copyright 2009 par Patrice Micouin –Edité et utilisé par AFIS et INCOSE avec sa permission Specification & Exigences Attente Exigence Traduit en Léquipement doit être facile à réparer Le MTTR de léquipement doit être inférieur à 30 minutes Enoncé Déontique énonce une obligation ou une interdiction Enoncé épistemique Specification Plus ou moins implicite AttenteExigences Analyse Elicitation Interprétation Traduction : b) Les systèmes de l'avion et les composants associés, considérés séparément et en relation avec d'autres systèmes, doivent être conçus de façon que : (1) L'apparition de toute condition de panne qui empêcherait la poursuite du vol en sécurité et l'atterrissage de l'avion, soit extrêmement improbable; et When In_Flight => Prob(AC_System_failed.severity=CAT) /fh AC Rappelle un élément de connaissance

6 Copyright 2009 par Patrice Micouin –Edité et utilisé par AFIS et INCOSE avec sa permission La structure dun système selon lEIA 632 A tree of building blocks

7 Copyright 2009 par Patrice Micouin –Edité et utilisé par AFIS et INCOSE avec sa permission Acquirer Requirements Other Stakeholder Requirements System Technical Requirements Logical Solution Representations Technical Derived Requirements Physical Solution Representations DESIGN SOLUTION trace to assigned to drive Source of SPECIFIED REQUIREMENTS Specified by Requirement Definition Solution Definition De la conception dun building block Altitude Lavionique doit fournir laltitude A la conception du système

8 Copyright 2009 par Patrice Micouin –Edité et utilisé par AFIS et INCOSE avec sa permission Operations sur les exigences Generation (ex nihilo, traduction dattentes) Derivation Validation des exigences (et hypothèses) Verification des réalisations vs exigences Modification & suppression (non traitées ici)

9 Copyright 2009 par Patrice Micouin –Edité et utilisé par AFIS et INCOSE avec sa permission Dérivation dexigences La dérivation dexigence est une transformation qui remplace une exigence de niveau N par des exigences de niveau N+1 sous lhypothèse que des choix de conception seront effectivement réalisés. Exemple Ex1 : Val (S.DAL) = A Système S Portion Primary Portion Backup Design Choice 1 : deux portions actives dissimilaires et indépendantes : primary et backup DEx2 : Val (Primary.DAL) = A DEx3 : Val (Backup.DAL) = C Système S When Design Choice 1 => Ex1 DEx2 DEx3 Design pattern 5 du tableau 4 de lARP 4754

10 Copyright 2009 par Patrice Micouin –Edité et utilisé par AFIS et INCOSE avec sa permission Exigences dérivées System Technical Requirements Logical Solution Representations Technical Derived Requirements Physical Solution Representations DESIGN SOLUTION assigned to drive Source de SPECIFIED REQUIREMENTS Specified by System Technical Requirements Are derived Assuming these logical and physical solution representations are implemented into Specified Requirements

11 Copyright 2009 par Patrice Micouin –Edité et utilisé par AFIS et INCOSE avec sa permission Validation des exigences dérivées System Technical Requirements Logical Solution Representations Technical Derived Requirements Physical Solution Representations DESIGN SOLUTION assigned to drive Source de SPECIFIED REQUIREMENTS Specified by (assuming that the logical and physical solution representations are implemented) If they are sufficiently complete and correct to replace the system technical requirements The specified requirements are validated

12 Copyright 2009 par Patrice Micouin –Edité et utilisé par AFIS et INCOSE avec sa permission Vérification de la réalisation vs Exigences System Technical Requirements Logical Solution Representations Technical Derived Requirements Physical Solution Representations DESIGN SOLUTION assigned to drive Source de SPECIFIED REQUIREMENTS Specified by System integrated System Integration Subsystems Subsystem verification System verification Design verification

13 Copyright 2009 par Patrice Micouin –Edité et utilisé par AFIS et INCOSE avec sa permission Les exigences de certification et EIA 632 Acquirer Requirements System Technical Requirements Logical Solution Representations Technical Derived Requirements Physical Solution Representations DESIGN SOLUTION trace to Certification Requirements trace to assigned to drive Source of SPECIFIED REQUIREMENTS Specified by Requirement Definition Solution Definition

14 Copyright 2009 par Patrice Micouin –Edité et utilisé par AFIS et INCOSE avec sa permission Concevoir un building block safe Acquirer & Certification Requirements Upper level Safety Requirements System Technical Requirements Logical Solution Representations Technical Derived Requirements Physical Solution Representations DESIGN SOLUTION trace to assigned to drive Source de SPECIFIED REQUIREMENTS Specified by Requirement Definition Solution Definition Failure Conditions & Categorization Safety Assessment Representations assigned to drive

15 Copyright 2009 par Patrice Micouin –Edité et utilisé par AFIS et INCOSE avec sa permission Vérifier un building block safe Acquirer Requirements Upper level Safety Requirements System Technical Requirements Logical Solution Representations Technical Derived Requirements Physical Solution Representations DESIGN SOLUTION trace to assigned to drive Source de SPECIFIED REQUIREMENTS Specified by Requirement Definition Solution Definition Failure Conditions And Categorization Safety Assessment Representations assigned todrive assigned to drive System integrated System integration Subsystems Subsystem Safety Assessment Results & Data System Safety Assessment Results Design verification assigned to

16 Copyright 2009 par Patrice Micouin –Edité et utilisé par AFIS et INCOSE avec sa permission Merci de votre attention des questions?


Télécharger ppt "Copyright 2009 par Patrice Micouin –Edité et utilisé par AFIS et INCOSE avec sa permission Ingénierie des exigences et conception des systèmes daéronefs."

Présentations similaires


Annonces Google