The Safe-SADT method for aiding designers to choose and improve dependable architectures for complex automated systems

Reliability Engineering and System Safety

Volumn 93, Issue 2, 2008, Pages 179-196

  Benard, Vincent ^a   Cauffriez, Laurent ^a   Renaux, Dominique ^a  

^a UNIVERSITÉ DE VALENCIENNES   (France)

Author keywords

Dependability; Design of complex systems; Monte Carlo simulation; Operational architecture; Safe SADT

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SIMULATION; IDENTIFICATION (CONTROL SYSTEMS); MONTE CARLO METHODS;

DEPENDABILITY; OPERATIONAL ARCHITECTURE;

LARGE SCALE SYSTEMS;

EID: 34848820570     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2006.12.020     Document Type: Article

References (47)

1. Bayart M, Staroswiecki M. Hierarchical data and processing structures for the integration of production processes. In: Proceedings of the IFAC workshop on production control in process industry, PCPI'93, Düsseldorf, Allemagne, 29-31 March 1993. p. 209-16.
2. Staroswiecki M., and Bayart M. Models and languages for the interoperability of smarts instruments. Automatica 32 6 (1996) 859-873
3. Vesely WE, Goldberg FF, Roberts NH and Haasl DF. Fault tree handbook. Washington, USA: US Nuclear Regulatory Commission; 1981.
4. Hasan R., Bernard A., Ciccotelli J., and Martin P. Integrating safety into the design process: elements and concepts relative to the working situation. Saf Sci (Special issue "Safety in design") 41 2-3 (2003) 155-180
5. Kumamoto H., and Henley E.J. Risk assessment and management for engineers and scientists (1996), IEEE Press, New York. 0780310047
6. Shooman M.L. Probabilistic reliability: an engineering approach (1968), McGraw-Hill, New York [Updated and reprinted 1986]
7. Quintian L., and Lahire P. Toward a better integration of on shelf components (2003), OCM, French
8. Cauffriez L., Ciccotelli J., Conrard B., and Bayart M. Design of intelligent distributed control systems: a dependability point of view. J Reliab Eng Syst Saf 84/1 (2003) 9-32
9. Lind M. Representing goals and functions of complex systems: an introduction to multilevel flow modelling. Technical report 90-D-381, TU Danmark.
10. Thomesse JP. Interoperability: an overview. In: Foulloy L, editor, Sicica'97, 3rd IFAC symposium on intelligent components and instruments for control application, Annecy, 9-11 June 1997. p. 473-8.
11. Thomesse J.P. Fieldbus and interoperability. Control Eng Pract 7 (1997) 81-94
12. Juanole G, Gallon L. Critical time distributed systems: qualitative and quantitative analysis based on stochastic timed Petri Nets. In: FORTE95, 8th IFIP conference on formal description techniques for distributed systems and communication protocols, Montreal, Canada, 1995.
13. Juanole G, Blum I. Evaluating the quality of service of a real-time distributed system and its impact on the performance on an industrial application. Rapport LAAS 98202, May 1998.
14. Elloy JP, Simonot-Lion F. An architecture description language supporting development process of in-vehicule embedded systems. In: Proceedings IFAC 15th triennal world congress, Barcelona, Spain, 2002.
15. Migge J, Elloy JP. Embedded electronic architecture. In: Third international workshop on open systems in automotive networks, Bad Homburg, Germany, 02-03 February 2000.
16. Villemeur A. Reliability, availability, maintainability and safety assessment. Wiley, ISBN:0-471-93048-2 (vol. 1) and ISBN:0-471-93049-0 (vol. 2); 1992.
17. Cocozza-Thivent C. Stochastic process and system reliability (1997), Springer, Berlin [in French]
18. Ligeron JP. Limits of dependability study. Open session of French-speaking congress PENTOM'03, 26-28 March 2003, PUV 2003, ISBN-2-905725-51-6.
19. Benard V, Cauffriez L, Renaux D. Point of view of availability assessment for complex system: a method based onto transfer function. In: International conference IFAC-INCOM'01 (cd rom), Vienna, Austria, 20-22 September 2001.
20. Bahill A.T., and Gissing B. Re-evaluating systems engineering concepts using systems thinking. IEEE Trans Man Cybernet C: Appl Rev 28 4 (1998) 516-527
21. IEEE 1220. Application and management of the systems engineering process (1998), Institute of Electrical and Electronics Engineers p. 80
22. IEC 15288. Systems engineering-system life cycle processes (2005), Institute of Electrical and Electronics Engineers p. 80
23. Barger P, Thiriet JM, Robert M. Performance and dependability evaluation of distributed dynamical systems. In: European conference on system dependability and safety, ESRA2002/Lambda-Mu13, Lyon, France, 2002. p. 16-22.
24. Barger P, Thiriet JM, Robert M, Aubry JF. Dependability study in distributed control systems integrating smart devices. In: IFAC 2004.
25. Campelo JC, Rodriguez F, Gil PJ, Serrano JJ. Dependability evaluation of fault tolerant architectures in distributed industrial control systems. In: WFCS'97, 2nd IEEE international workshop on factory communication systems, Barcelona, Spain, 1997.
26. Conrard B, Thiriet JM, Bicking F. Dependability as a criterion for distributed systems design. In: Fourth IFAC international symposium on intelligent components and instruments for control applications, Buenos Aires, Argentina, 13-15 September 2000. p. 45-50.
27. Conrard B., Thiriet J.M., and Robert M. Distributed system design based on dependability evaluation: a case study on a pilot thermal process. Reliability and engineering system safety (2004), Elsevier, Amsterdam [in press]
28. Meunier P, Denis B, Lesage JJ. Safety analysis during the control architecture design of automated systems. In: IFAC Safeprocess 2000, Budapest, Hungary, June 14-16 June 2000.
29. Marca D.A., and McGowan C.L. SADT: structured analysis and design technique (1988), McGraw-Hill Book Co., Inc., New York
30. EN 50128. European standards, draft, railway applications: software for railway control and protection systems, November 1995.
31. Bishop P.G. Dependability of critical computer systems-part 3: techniques directory. Guidelines produced by the European workshop on industrial computer systems technical committee 7 (EWICS TC7) (1990), Elsevier Applied Science, London
32. Benard V, Cauffriez L, Renaux D. Dependability evaluation of complex systems based on a functional dynamic model: the Safe-SADT method. In: Conférence internationale EuroSim'04 (cdrom). Paris, September 2004.
33. Staroswiecki M., and Bayart M. Intelligent actuators (1994), Hermès, French. 2-86601-439-1
34. Dubi A. Monte Carlo applications in systems engineering (2000), Wiley, New York. 0471981729
35. Labeau P.E. Partially unbiased estimators for reliability and availability calculations. Prog Nucl Energy 36 2 (2000) 31-187
36. Becker G., Nagel J., Camarinopoulos L., and Kabranis D. Dynamic reliability expressed in terms of transition frequency densities. Esrel (2001) 1383-1386
37. Labeau P.E. Monte Carlo simulation for dynamic reliability problems with distributed safety borders. ESREL (2001) 1395-1400
38. Woltereck M. Dynamic reliability analysis with quantification of epistemic uncertainty: A BWR application. ESREL (2001) 1403-1410
39. Pasquet S. Analyze of dependability of dynamic systems with flow-diagram and neural networks. PhD thesis, French, University of Troyes, 1999.
40. Benard V. Evaluation of the dependability of complex automated systems based onto a functional dynamic model: the Safe-SADT method. PhD thesis, University of Valenciennes, LAMIH C.N.R.S 8530, December 2004 [in French].
41. IEC 61508. Functional safety of standard electrical/electronic/programmable electronic safety-related systems, 1997.
42. Charpentier P. Architecture d'automatisme en sécurité des machines: étude des conditions de conception liées aux défaillances de mode commun. PhD Thesis, University of Nancy, CRAN, July 2002 [in French].
43. Beugin J, Renaux D, Cauffriez L. A SIL quantification approach based on an operating situation model for safety evaluation in complex guided transportation systems. Reliab Eng Syst Saf 2007, in press, doi:10.1016/j.ress.2006.09.022.
44. Beugin J, Renaux D, Cauffriez, L. A SIL quantification approach in complex systems of guided transport. In: European safety and reliability conference, Tri City, Poland, 27-30 June 2005, accepted for publication in ESREL.
45. Cauffriez L, Beugin J, Renaux D, Millot P. Design of Urban guided transport management system: a dependability point of view. Deliverable D6, safety conceptual approach & guidelines, 5th Framework Programme, Contract GRD2-2000-30090, p. 70-5.
46. Isermann R., Schwarz R., and Stölzl S. Fault tolerant drive-by-wire systems. IEEE Control Syst (2002) 64-81
47. Leen G, Hefferman D. Expanding automotive electronic systems. IEEE Computer 0018-9162/02, 2002, p. 88-93.