-
1
-
-
79951724565
-
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
-
-
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
-
3
-
-
9444250310
-
Fault tree handbook with aerospace applications
-
NASA Office of Safety and Mission Assurance.
-
Vesely WE, Stamatelatos M, Dugan J, Fragola J, Minarick J, Railsback J. Fault tree handbook with aerospace applications. NASA Office of Safety and Mission Assurance; 2002.
-
(2002)
-
-
Vesely, W.E.1
Stamatelatos, M.2
Dugan, J.3
Fragola, J.4
Minarick, J.5
Railsback, J.6
-
4
-
-
0003960180
-
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
-
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
-
ITI Gmbh. SimulationX 3.
-
ITI Gmbh. SimulationX 3; 2010. http://www.simulationx.com.
-
(2010)
-
-
-
37
-
-
0030196868
-
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
-
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
-
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
-
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
-
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
-
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
-
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
|