190 likes | 343 Vues
Reliability in Design: FMEA Derived from UML/SysML models. P. David, V. Idasiak & F. Kratz PRISME Institute Team-project MCDS. Outline. Background UML and SysML for reliability analysis Method for reliability study in design process Automatic synthesis of FMEA
E N D
Reliability in Design: FMEA Derived from UML/SysML models P. David, V. Idasiak & F. Kratz PRISME Institute Team-project MCDS
Outline • Background • UML and SysML for reliability analysis • Method for reliability study in design process • Automatic synthesis of FMEA • Previous works on FMEA synthesis • Crucial points for FMEA automatic synthesis • Exploiting UML/SysML Sequence diagrams • Case study • Next step with SysML • Conclusion
Background • Difficult to conduct Reliability studies during design: • Time consuming process • Complex formal methods • Communication difficulties • Mastering the complexity of multi-technological systems • Unifying the processes around one modelling language
Background • Improving reliability study during Design: • Creating tools and methods to support safety-critical system design: • Integrating formal methods to the design process (GSPN, Markov Process) • Developing tools and methods to efficiently conduct widespread industrial practices (FMEA, Requirements allocation) • Proposing algorithms and analysis to be integrated in commercial tools (UML, SysML tools). • Guiding the design towards reliable solutions: • Insuring the traceability of Requirements (performance, reliability, safety)
Using UML and SysML • Object-oriented languages: • Complex and multi technologic Systems • Hierarchical, modular and incremental approach • Graphical and accessible languages • Modelling constructs for Architecture and Behaviour • Functional behaviour and architecture analysis • Dysfunctional behaviour modelling • Various works on merging UML with formal methods (Markov Process, GSPN, Fault Trees)
Method for reliability study Architecture Failure mode repository Functional Hazard Analysis FHA Preliminary Hazard Identification PHI Automatic FMEA synthesis Full FMEA Formal languages Functional Model GSPN, Markov Process, AltaRica, Figaro Behaviour
Automatic synthesis of FMEA • Importance of FMEA process: • Performed at an early stage • Systematic identification of risks • Classify the risks • Underline weak points of the system • Weak points of FMEA • Time consuming • Error prone analysis • Huge amount of information to produce • Ambiguity of the quoted values
Previous works on FMEA synthesis • Numerous existing works: • Organisational practises (Bassetto 2005) • Mastering simultaneous failures (Price and Taylor 2002) • Computing the effects at overall system scale (Price and Taylor 2002), (Papadopoulos et al. 2004b) • Enhancing classification and promoting the use of natural vocabulary (Bowles and Pelaez 1995) • Weak points of previous works: • Domain specific approach (electronic) • No help for FMEA initialisation (component identification) • No real use of lesson learnt databases • Computation of failure effects only from a dysfunctional model
Crucial points for FMEA automatic synthesis • Essential points for automatic FMEA synthesis: • The exploited model: • Hierarchy between blocks • Architecture of the system and its functionalities • Data and flow transmissions • A Dysfunctional Behaviour Database • Contains lesson learnt on components failures • References Failure modes name • References Failure modes behaviour
Automatic synthesis of FMEA • Our ambitions: • Studying functional models at early stages of design process • Insuring exhaustiveness of component identification • Use and construction of a lesson learnt database • Identifying the primary Failure Modes
Sequence Diagram exploitation ClassA ClassB FailureMode :FailureMode[*] FailureMode :FailureMode[*] Dysfunctional behaviour database componentA:A componentB:B message:MessageType m2:m2type Sequence Diagram (SD) FMEA Table
Preliminary FMEA report • This table is a good help to build the final FMEA. • Relation to consider are indicated. • Known Failure Mode are already mentioned. • The heavy phase of FMEA is automatically performed (Component census, Search in database).
Next step with SysML Component Identification Control signals Flow transmission Requirements Traceability Failure Mode Repository 15
Conclusion • A precious part of FMEA is automatically built. • The preliminary report is a great guideline for analysts. • It helps saving a lot of time while respecting the exhaustivity of the study. • SysML shows huge possibilities to enhance this first solution. • Effective solution to start the deployment of the presented method.
Acknowledgements We specially want to thank all our partners involved in the CAPTHOM project. This work was realized with the financial help of the French Industry Ministry and local collectivities, within the framework of the CAPTHOM project of the Competitiveness Pole S2E2, www.s2e2.fr.