메뉴 건너뛰기




Volumn 18, Issue 2, 2011, Pages 590-608

Engineering failure analysis and design optimisation with HiP-HOPS

Author keywords

Failure analysis; Hazards; Safety

Indexed keywords

ALTERNATIVE APPROACH; ANALYSIS AND DESIGN; AUTOMATIC MODELS; AUTOMATIC SYNTHESIS; COMBINATORIAL EXPLOSION; COMPONENT FAILURE MODEL; COST OPTIMISATION; DESIGN OPTIMISATION; ENGINEERING FAILURES; FAILURE MODES AND EFFECTS ANALYSIS; FAULT-TREES; MANUFACTURING INDUSTRIES; META HEURISTICS; OIL SYSTEM; PREDICTIVE MODELS; SAFETY; SAFETY CRITICAL SYSTEMS; SYSTEM FAILURES; SYSTEM SAFETY;

EID: 79951724884     PISSN: 13506307     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.engfailanal.2010.09.025     Document Type: Article
Times cited : (133)

References (43)
  • 1
    • 79951724565 scopus 로고    scopus 로고
    • Simulation model based risk and reliability analysis
    • In: Tagung Technische Zuverlässigkeit, Stuttgart, proceedings on CD; 22-23 April,. ISBN: 978-3-18-091984-3.
    • Uhlig A, Kurzbach G, Hamann R, Papadopoulos Y, Walker M, Lühmann B. Simulation model based risk and reliability analysis. In: Tagung Technische Zuverlässigkeit, Stuttgart, proceedings on CD; 22-23 April, 2007. ISBN: 978-3-18-091984-3.
    • (2007)
    • Uhlig, A.1    Kurzbach, G.2    Hamann, R.3    Papadopoulos, Y.4    Walker, M.5    Lühmann, B.6
  • 2
    • 77958013898 scopus 로고    scopus 로고
    • Semi-automatic failure analysis based on simulation models, paper no. In: OMAE2008-57256, proceeding OMAE 2008, Estoril, Portugal.
    • Hamann R, Uhlig A, Papadopoulos Y, Rüde E, Grätz U, Walker M, et al. Semi-automatic failure analysis based on simulation models, paper no. In: OMAE2008-57256, proceeding OMAE 2008, Estoril, Portugal; 2008.
    • (2008)
    • Hamann, R.1    Uhlig, A.2    Papadopoulos, Y.3    Rüde, E.4    Grätz, U.5    Walker, M.6
  • 4
    • 0003960180 scopus 로고
    • US Military. Procedure for performing a failure mode effect and criticality analysis
    • United States military procedure MIL-P-1629.
    • US Military. Procedure for performing a failure mode effect and criticality analysis. United States military procedure MIL-P-1629; 1949.
    • (1949)
  • 5
    • 79951724888 scopus 로고    scopus 로고
    • Isograph Software. Fault Tree + v11. Software tool; <
    • Isograph Software. Fault Tree + v11. Software tool; 2002. <>. http://www.isograph-software.com/index.htm.
    • (2002)
  • 6
    • 0003636633 scopus 로고
    • A SETS user manual for the fault tree analyst
    • NUREG CR-04651, US Nuclear Regulatory Commission.
    • Worrell RB, Stack DW. A SETS user manual for the fault tree analyst. NUREG CR-04651, US Nuclear Regulatory Commission; 1978.
    • (1978)
    • Worrell, R.B.1    Stack, D.W.2
  • 7
    • 56449085247 scopus 로고    scopus 로고
    • Towards a practicable process for automated safety analysis
    • In: Proceedings of the 16th international ship and offshore structures conference (ISSC'06);
    • Lisagor O, McDermid JA, Pumfrey DJ. Towards a practicable process for automated safety analysis. In: Proceedings of the 16th international ship and offshore structures conference (ISSC'06); 2006.
    • (2006)
    • Lisagor, O.1    McDermid, J.A.2    Pumfrey, D.J.3
  • 8
    • 0027608910 scopus 로고
    • An integrated toolset for software safety analysis
    • Fenelon P., McDermid J.A. An integrated toolset for software safety analysis. J Syst Software 1993, 21(3):279-290.
    • (1993) J Syst Software , vol.21 , Issue.3 , pp. 279-290
    • Fenelon, P.1    McDermid, J.A.2
  • 9
    • 27944470912 scopus 로고    scopus 로고
    • Modular architectural representation and analysis of fault propagation
    • Wallace M. Modular architectural representation and analysis of fault propagation. Electron Notes Theor Comput Sci 2005, 141(3):53-71.
    • (2005) Electron Notes Theor Comput Sci , vol.141 , Issue.3 , pp. 53-71
    • Wallace, M.1
  • 10
    • 70350440692 scopus 로고    scopus 로고
    • Probabilistic failure propagation and transformation analysis
    • Ge X., Paige R.F., McDermid J.A. Probabilistic failure propagation and transformation analysis. Comput Safety, Reliab, Secur 2009, 5775:215-228.
    • (2009) Comput Safety, Reliab, Secur , vol.5775 , pp. 215-228
    • Ge, X.1    Paige, R.F.2    McDermid, J.A.3
  • 11
    • 24944542742 scopus 로고    scopus 로고
    • Model-driven safety evaluation with state-event-based component failure annotations
    • In: 8th international symposium on component-based software engineering.
    • Grunske L, Kaiser B, Papadopoulos YI. Model-driven safety evaluation with state-event-based component failure annotations. In: 8th international symposium on component-based software engineering; 2005. p. 33-48.
    • (2005) , pp. 33-48
    • Grunske, L.1    Kaiser, B.2    Papadopoulos, Y.I.3
  • 12
    • 34447099032 scopus 로고    scopus 로고
    • State/event fault trees - a safety analysis model for software-controlled systems
    • Kaiser B., Gramlich C., Forster M. State/event fault trees - a safety analysis model for software-controlled systems. Reliab Eng Syst Safety 2007, 92:1521-1537.
    • (2007) Reliab Eng Syst Safety , vol.92 , pp. 1521-1537
    • Kaiser, B.1    Gramlich, C.2    Forster, M.3
  • 13
    • 24344485535 scopus 로고    scopus 로고
    • An automated dependability analysis method for COTS-based systems
    • Lecture Notes in Computer Science.
    • Grunske L, Kaiser B. An automated dependability analysis method for COTS-based systems. Lecture Notes in Computer Science; 2005. p. 178-90.
    • (2005) , pp. 178-90
    • Grunske, L.1    Kaiser, B.2
  • 14
    • 1542490438 scopus 로고    scopus 로고
    • Quality improvement by integrating non-functional properties in software architecture specification
    • In: EASY'02 second workshop on evaluating and architecting system dependability. San Jose, California, USA.
    • Grunske L, Neumann R. Quality improvement by integrating non-functional properties in software architecture specification. In: EASY'02 second workshop on evaluating and architecting system dependability. San Jose, California, USA; 2002. p. 23-32.
    • (2002) , pp. 23-32
    • Grunske, L.1    Neumann, R.2
  • 15
    • 84945911927 scopus 로고
    • Analysis of deterministic and stochastic Petri nets
    • In: Proceedings of the 5th international workshop on petri nets and performance models PNPM'93, Toulouse, France.
    • Ciardo G, Lindermann C. Analysis of deterministic and stochastic Petri nets. In: Proceedings of the 5th international workshop on petri nets and performance models PNPM'93, Toulouse, France; 1993.
    • (1993)
    • Ciardo, G.1    Lindermann, C.2
  • 16
    • 79951724889 scopus 로고    scopus 로고
    • TimeNET 3.0 tool description. In: International conference on petri nets and performance models, Zaragoza, Spain.
    • Zimmermann A, German R, Freiheit J, Hommel G. TimeNET 3.0 tool description. In: International conference on petri nets and performance models, Zaragoza, Spain; 1999.
    • (1999)
    • Zimmermann, A.1    German, R.2    Freiheit, J.3    Hommel, G.4
  • 17
    • 85032530458 scopus 로고    scopus 로고
    • The FSAP/NuSMV-SA safety analysis platform
    • ECAI Riva del Garda, Italy.
    • Bozzano M, Villafiorita A. The FSAP/NuSMV-SA safety analysis platform. ECAI 2006. Riva del Garda, Italy.
    • (2006)
    • Bozzano, M.1    Villafiorita, A.2
  • 18
    • 84902472835 scopus 로고    scopus 로고
    • Safety assessment with AltaRica
    • In: IFIP congress topical sessions.
    • Bieber P, Bougnol C, Castel C, Heckmann J-P, Kehren C, Metge S, et al. Safety assessment with AltaRica. In: IFIP congress topical sessions; 2004. p. 505-10.
    • (2004) , pp. 505-10
    • Bieber, P.1    Bougnol, C.2    Castel, C.3    Heckmann, J.-P.4    Kehren, C.5    Metge, S.6
  • 19
    • 0040368693 scopus 로고    scopus 로고
    • The Altarica formalism for describing concurrent systems
    • Fundamenta informaticae.
    • Griffault A, Arnold A, Point G, Rauzy A. The Altarica formalism for describing concurrent systems. Fundamenta informaticae; 1999. p. 34.
    • (1999) , pp. 34
    • Griffault, A.1    Arnold, A.2    Point, G.3    Rauzy, A.4
  • 21
    • 79951725653 scopus 로고    scopus 로고
    • Deviation analysis though model checking
    • In: Proceedings of the 17th IEEE international conference on automated software engineering, Edinburgh, UK.
    • Heimdahl MP, Choi Y, Whalen MW. Deviation analysis though model checking. In: Proceedings of the 17th IEEE international conference on automated software engineering, Edinburgh, UK.
    • Heimdahl, M.P.1    Choi, Y.2    Whalen, M.W.3
  • 22
    • 79960708791 scopus 로고    scopus 로고
    • Deductive cause-consequence analysis (DCCA)
    • In: The 16th IFAC world congress.
    • Ortmeier F, Reif W, Schellhorn G. Deductive cause-consequence analysis (DCCA). In: The 16th IFAC world congress; 2005.
    • (2005)
    • Ortmeier, F.1    Reif, W.2    Schellhorn, G.3
  • 23
    • 38149048480 scopus 로고    scopus 로고
    • Using deductive cause-consequence analysis (DCCA) with SCADE
    • In: 26th International conference in computer safety, reliability and security.
    • Reer F, Reif W. Using deductive cause-consequence analysis (DCCA) with SCADE. In: 26th International conference in computer safety, reliability and security; 2007. p. 465-78.
    • (2007) , pp. 465-78
    • Reer, F.1    Reif, W.2
  • 24
    • 79951927259 scopus 로고    scopus 로고
    • Computing ordered minimal critical sets
    • In: Proceedings of formal methods for automation and safety in railway and automotive systems.
    • Güdemann M, Ortmeier F, Reif W. Computing ordered minimal critical sets. In: Proceedings of formal methods for automation and safety in railway and automotive systems; 2008.
    • (2008)
    • Güdemann, M.1    Ortmeier, F.2    Reif, W.3
  • 25
    • 79951724496 scopus 로고    scopus 로고
    • Towards a practicable process for automated safety analysis
    • In: 24th International system safety conference.
    • Lisagor O, McDermid JA. Towards a practicable process for automated safety analysis. In: 24th International system safety conference; 2008.
    • (2008)
    • Lisagor, O.1    McDermid, J.A.2
  • 26
    • 0038475612 scopus 로고    scopus 로고
    • Efficiently solving the redundancy allocation problem using tabu search
    • Kulturel-Konak S., Smith A.E., Coit D.W. Efficiently solving the redundancy allocation problem using tabu search. IIE Trans 2003, 35:515-526.
    • (2003) IIE Trans , vol.35 , pp. 515-526
    • Kulturel-Konak, S.1    Smith, A.E.2    Coit, D.W.3
  • 27
    • 27144462625 scopus 로고    scopus 로고
    • Multi-objective tabu search using a multinomial probability mass function
    • Kulturel-Konak S., Smith A.E., Norman B.A. Multi-objective tabu search using a multinomial probability mass function. Eur J Oper Res 2006, 169:918-931.
    • (2006) Eur J Oper Res , vol.169 , pp. 918-931
    • Kulturel-Konak, S.1    Smith, A.E.2    Norman, B.A.3
  • 28
    • 4544280107 scopus 로고    scopus 로고
    • An ant colony optimisation algorithm for the redundancy allocation problem (RAP)
    • Liang Y.C., Smith A.E. An ant colony optimisation algorithm for the redundancy allocation problem (RAP). IEEE Trans Reliab 2004, 53(3):417-423.
    • (2004) IEEE Trans Reliab , vol.53 , Issue.3 , pp. 417-423
    • Liang, Y.C.1    Smith, A.E.2
  • 29
    • 33748290030 scopus 로고    scopus 로고
    • Reliability optimisation using multiobjective ant colony system approaches
    • Zhao J., Liu Z., Dao M. Reliability optimisation using multiobjective ant colony system approaches. Reliab Eng Syst Safety 2007, 92:109-120.
    • (2007) Reliab Eng Syst Safety , vol.92 , pp. 109-120
    • Zhao, J.1    Liu, Z.2    Dao, M.3
  • 30
    • 34047159964 scopus 로고    scopus 로고
    • Simulated annealing algorithm for redundancy optimization with multiple component choices
    • In: advanced reliability modelling, proceedings of the 2004 Asian internationals workshop. World Scientific.
    • Kim H, Bae C, Park S. Simulated annealing algorithm for redundancy optimization with multiple component choices. In: advanced reliability modelling, proceedings of the 2004 Asian internationals workshop. World Scientific; 2004. p. 237-44.
    • (2004) , pp. 237-44
    • Kim, H.1    Bae, C.2    Park, S.3
  • 31
    • 0003722376 scopus 로고
    • Genetic algorithms in search, optimization, and machine learning
    • USA: Addison-Wesley Professional.
    • Goldberg DE. Genetic algorithms in search, optimization, and machine learning. USA: Addison-Wesley Professional; 1989.
    • (1989)
    • Goldberg, D.E.1
  • 32
    • 0030244243 scopus 로고    scopus 로고
    • Penalty guided genetic search for reliability design optimisation
    • Coit D.W., Smith A.E. Penalty guided genetic search for reliability design optimisation. Comput Ind Eng 1996, 30(4):895-904.
    • (1996) Comput Ind Eng , vol.30 , Issue.4 , pp. 895-904
    • Coit, D.W.1    Smith, A.E.2
  • 33
    • 0036530772 scopus 로고    scopus 로고
    • A fast and elitist multiobjective genetic algorithm: NSGA-II
    • Deb K., Pratap A., Agarwal S., Meyarivan T. A fast and elitist multiobjective genetic algorithm: NSGA-II. IEEE Trans Evol Comput 2002, 6(2):182-197.
    • (2002) IEEE Trans Evol Comput , vol.6 , Issue.2 , pp. 182-197
    • Deb, K.1    Pratap, A.2    Agarwal, S.3    Meyarivan, T.4
  • 34
    • 33745727034 scopus 로고    scopus 로고
    • Multi-objective optimisation using genetic algorithms: a tutorial
    • Konak A., Coit D.W., Smith A.E. Multi-objective optimisation using genetic algorithms: a tutorial. Reliab Eng Syst Safety 2006, 91:992-1007.
    • (2006) Reliab Eng Syst Safety , vol.91 , pp. 992-1007
    • Konak, A.1    Coit, D.W.2    Smith, A.E.3
  • 35
    • 84961327837 scopus 로고    scopus 로고
    • Hierarchically performed hazard origin and propagation studies
    • In: 18th International conference in computer safety, reliability and security, Toulouse, France.
    • Papadopoulos YI, McDermid JA. Hierarchically performed hazard origin and propagation studies. In: 18th International conference in computer safety, reliability and security, Toulouse, France; 1999. p. 139-52.
    • (1999) , pp. 139-52
    • Papadopoulos, Y.I.1    McDermid, J.A.2
  • 36
    • 79951725873 scopus 로고    scopus 로고
    • ITI Gmbh. SimulationX 3.
    • ITI Gmbh. SimulationX 3; 2010. http://www.simulationx.com.
    • (2010)
  • 37
    • 0030196868 scopus 로고    scopus 로고
    • The basic concepts of failure analysis
    • Rausand M., Oien K. The basic concepts of failure analysis. Reliab Eng Syst Safety 1996, 53:73-83.
    • (1996) Reliab Eng Syst Safety , vol.53 , pp. 73-83
    • Rausand, M.1    Oien, K.2
  • 38
    • 79960942594 scopus 로고    scopus 로고
    • Effective multicriteria redundancy allocation via model-based safety analysis
    • IFAC workshop on intelligent manufacturing systems, 23-25 May, Alicante, Spain.
    • Parker D, Papadopoulos Y. Effective multicriteria redundancy allocation via model-based safety analysis. IFAC workshop on intelligent manufacturing systems, 23-25 May, Alicante, Spain; 2007.
    • (2007)
    • Parker, D.1    Papadopoulos, Y.2
  • 39
    • 0346342597 scopus 로고    scopus 로고
    • Optimisation of design specifications for mechatronic systems
    • Grante C., Andersson J. Optimisation of design specifications for mechatronic systems. Res Eng Des 2003, 14(4):224-235.
    • (2003) Res Eng Des , vol.14 , Issue.4 , pp. 224-235
    • Grante, C.1    Andersson, J.2
  • 40
    • 79951725565 scopus 로고    scopus 로고
    • Non-coherent modelling in compositional safety analysis
    • In: IFAC 17th world congress, Seoul, South Korea.
    • Sharvia S, Papadopoulos YI. Non-coherent modelling in compositional safety analysis. In: IFAC 17th world congress, Seoul, South Korea; 2008.
    • (2008)
    • Sharvia, S.1    Papadopoulos, Y.I.2
  • 41
    • 0030167877 scopus 로고    scopus 로고
    • Reliability optimisation of series-parallel systems using a genetic algorithm
    • Coit D.W., Smith A.E. Reliability optimisation of series-parallel systems using a genetic algorithm. IEEE Trans Reliab 1996, 45(2):254-260.
    • (1996) IEEE Trans Reliab , vol.45 , Issue.2 , pp. 254-260
    • Coit, D.W.1    Smith, A.E.2
  • 42
    • 0003126776 scopus 로고    scopus 로고
    • Evolutionary algorithms for multi-criterion optimisation in engineering design
    • John Wiley & Sons.
    • Deb K. Evolutionary algorithms for multi-criterion optimisation in engineering design. Evolutionary algorithms in engineering and computer science. John Wiley & Sons; 1999. p. 135-61.
    • (1999) Evolutionary algorithms in engineering and computer science , pp. 135-61
    • Deb, K.1
  • 43
    • 34247159635 scopus 로고    scopus 로고
    • Identifying "good" architectural design alternatives with multi-objective optimisation strategies
    • In: 28th International conference on software engineering (ICSE 2006), Shanghai, China; May 20-28.
    • Grunske L. Identifying "good" architectural design alternatives with multi-objective optimisation strategies. In: 28th International conference on software engineering (ICSE 2006), Shanghai, China; May 20-28, 2006.
    • (2006)
    • Grunske, L.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.