A new formalism for designing and specifying RAMS parameters for complex distributed control systems: The safe-SADT formalism

IEEE Transactions on Reliability

Volumn 55, Issue 3, 2006, Pages 397-410

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

^a LAMIR UMR   (France)

Author keywords

Dependability study; Distributed control system design; Intelligent instrumentation; Monte carlo simulation; Operational architecture

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER ARCHITECTURE; COMPUTER SIMULATION; MONTE CARLO METHODS; PARAMETER ESTIMATION; RANDOM ACCESS STORAGE;

COMPLEX SYSTEM DEPENDABILITY; DEPENDABILITY EVALUATION; INTELLIGENT INSTRUMENTATION; OPERATIONAL ARCHITECTURE;

DISTRIBUTED PARAMETER CONTROL SYSTEMS;

EID: 34147141934     PISSN: 00189529     EISSN: None     Source Type: Journal    
DOI: 10.1109/TR.2006.879604     Document Type: Article

References (82)

1. D. M. Eriksson, "Jean-Louis Lemoigne's systemic theory," Cybernetics and Human Knowing, vol. 4, no. 2-3, 1997.
2. J.-L. Lemoigne, La modélisation des systèmes Complexes. : Dunod, 1999, ISBN 210004382X.
3. E. Morin, "From the concept of system to the paradigm of complexity," Journal of Social and Evolutionary Systems, vol. 15, no. 4, pp. 371-385, 1992.
4. H. A. Simon, The Sciences of the Artificial, 3rd ed. : MIT Press, October 1996, 0-262-69191-4.
5. M. Bayart and M. Staroswiecki, "Hierarchical data and processing structures for the integration of production processes," in Proceedings of the IFAC Workshop on Production Control in Process Industry, POPI'93, Düsseldorf, Allemagne, Mars 29-31, 1993, pp. 209-216.
6. M. Staroswiecki and M. Bayart, "Models and languages for the interoperability of smarts instruments," Antomatica, vol. 32, no. 6, pp. 859-873, 1996.
7. DIAS, "Distributed intelligent actuators and sensors," Esprit Project, no. 2172, 1993.
8. J. P. Thomesse, "Interoperability: an overview," in Sicica'97, 3th IFAC Symposium on Intelligent Components and Instruments for Control Application, L. Foulloy, Ed., Annecy, June 1997, pp. 473-478.
9. _, "Fieldbus and interoperability," in Control Engineering Practice. : Pergamon, January 1999, vol. 7, pp. 81-94.
10. K. Tindell, A. Bums, and J. Welling, "Analysis of real time communication," The Journal of Real Time Systems, vol. 9, pp. 147-171, 1995.
11. G. Le Lann and N. Rivierre, "Real time communications over broadcast networks: the CSMA-DCR and DOD/CSMA-CD protocols," in RTS'94, Toulouse, France, 1994, pp. 67-84.
12. J. D. Decotignie and A. Pleinevaux, "A survey on industrial communication networks," Annals of Telecommunications, vol. 48, no. 9-10, pp. 435-448, 1993.
13. Interbus-S, Sensor and Actuator Network for Industrial Control Systems for CENELEC, DIN German Draft Standard 19 258-1, 1995.
14. K. Bender, Profibus-Der Feldbus fur die Automation. : Carl Hanser Verlag München Wien, 1990, 3-446-16170-8.
15. Profibus, Process Field Bus, DIN German draft standard 19245-1 to 19245-3, 1990.
16. Profibus for Process Automation, CLC/TC 65CX (DE) 10, for CENELEC, DIN German Draft Standard 19245-4 Profibus-PA, 1996.
17. H. Kopetz, Real-Time Systems Design Principles for Distributed Embedded Applications. : Kluwer Academics Publishers, 1997.
18. K. Tindell and H. Hansson, "Babbling idiots, the dual - priority protocol and smart CAN controllers," in Proceeding of ICC'95, CiA/CAN in Automation, 1995.
19. FIP Bus for Exchange of Information Behveen Transmitters, Actuators, Programmable Controllers, Afnor French Standards NF C46601 to C46607, Published between 1989 and 1992.
20. Cenelec European standard EN 50170, Fieldbus, 1996, Vol. 1: P-Net, Vol 2: Profibus, Vol 3: Worldfip.
21. Interbus-S, Sensor and Actuator Nenvorkfor Industrial Control Systems for CENELEC, DIN German Draft Standard 19 258-1, 1995.
22. S. Cavalieri, S. Monforte, E. Tovar, and F. Vasques, "Multi-master profibus DP modelling and worst case analysis-based evaluation," in IFAC I5th Triennal World Congress, Barcelona, Spain, 2002.
23. R. Hasan, A. Bernard, J. Ciccotelli, and P. Martin, "Integrating safety into the design process: elements and concepts relative to the working situation," Safety-Science - Special Issue Safety in Design, vol. 41, no. 2-3, pp. 155-180, March 2003, 0925-7535.
24. L. Quintian and P. Lahire, "Vers une meilleure intégration des composants sur l'étagère," in Objects Composants and Models. : OCM, 2003.
25. J. P. Elloy and F. Simonot-Lion, "An architecture description language supporting development process of in-vehicule embedded systems," in Proceedings IFAC 2002, 15th Triennal World Congress, Barcelona, Spain.
26. J. Migge and J. P. Elloy, "Embedded electronic architecture," in 3th International Workshop on Open Systems in Automotive Networks, Bad Homburg, Germany, February 02-03, 2000.
27. H. S. Son and P. H. Seong, "Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection systems application," Journal of Reliability Engineering and System Safety, vol. 80, pp. 19-32, 2003.
28. P. Barger, J. M. Thiriet, and M. Robert, "Performance and dependability evaluation of distributed dynamical systems," in European Conference on System Dependability and Safety, ESRA2002/ Lambda-Mu13, Lyon, France, March 2002, pp. 16-22.
29. P. Barger, J.-M. Thiriet, M. Robert, and J.-F. Aubry, "Dependability study in distributed control systems integrating smart devices," in 7th IFAC Symposium on Cost Oriented Automalion (COA '2004), Gatineau/ Ottawa, Canada, Juin 7-9, 2004, pp. 79-84.
30. J. C. Campelo, F. Rodriguez, P. J. Gil, and J. J. Serrano, "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.
31. B. Conrard, J. M. Thiriet, and F. Bicking, "Dependability as a criterion for distributed systems design," in 4th IFAC International Symposium on Intelligent Components and Instruments for Control Applications, Buenos Aires, Argentina, September 13-15, 2000, pp. 45-50.
32. B. Conrard, J. M. Thiriet, and M. Robert, "Distributed system design based on dependability evaluation: a case study on a pilot thermal process," Elsevier Journal of Reliability Engineering and System Safety, vol. 88, no. 1, pp. 109-119, April 2005.
33. G. Juanole and L. Gallon, "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.
34. G. Juanole and I. Blum, "Evaluating the quality of service of a real-time distributed system and its impact on the performance on an industrial application," in Rapport LAAS 98202, May 1998.
35. P. Meunier, B. Denis, and J. J. Lesage, "Safety analysis during the control architecture design of automated systems," in IFAC Safeprocess 2000, Budapest, Hungary, June 14-16, 2000, June.
36. S. Lepreux, M. Abed, and C. Kolski, "A human-centred methodology applied to decision support system design and evaluation in a railway network context," Cogn Tech Work, no. 5, pp. 248-271, 2003.
37. W. E. Vesely, F. F. Goldberg, N. H. Roberts, and D. F. Haasl, Fault Tree Handbook. Washington, USA: U.S. Nuclear Regulatory Commission, 1981.
38. M. L. Shooman, Probabilistic Reliability: An Engineering Approach. New York: McGraw-Hill, 1968, [Updated and reprinted 1986].
39. H. Kumamoto and E. J. Henley, Risk Assessment and Management for Engineers and Scientists.:IEEE Press, 1996, 0780310047.
40. M. Lind, "Representing goals and functions of complex industrial plants," Applied Artificial Intelligence, vol. 8, pp. 259-283, 1994.
41. M. Lind, "Plant modeling for human supervisory control," MC Transactions of the Institute of Measurement and Control, vol. 21, no. 4/5, pp. 171-180, 1999.
42. A. T. Bahill and B. Gissing, "Re-evaluating systems engineering concepts using systems thinking," IEEE Transaction on Systems, Man and Cybernetics, Part C: Applications and Reviews, vol. 28, no. 4, pp. 516-527, 1998.
43. IEEE 1220, Application and Management of the Systems Engineering Process. : Institute of Electrical and Electronics Engineers, May 1998, p. 80, 0738115436.
44. IEC 15288, Systems Engineering-System Life Cycle Processes. Piscataway, NJ: Institute of Electrical and Electronics Engineers, June 2005, p. 80, 073814651X.
45. F. Simonot-Lion, J.-P. Thomesse, and M. Staroswiecki, "Dependable distributed computer control systems: analysis of the design step activities," in 13th IFAC Workshop on Distributed Control Systems, A. E. K. Sahraoui, Ed., Toulouse, France, 1995, pp. 119-124.
46. L. Cauffriez, J. Ciccotelli, B. Conrard, and M. Bayart, "Design of intelligent distributed control systems: a dependability point of view," Elsevier Journal of Reliability Engineering and System Safety, vol. 84/1, pp. 19-32, 2004.
47. Functional Safety of Standard Electrical/Electronic/ Programmable Electronic Safety-Related Systems, Part 1: General Requirements, IEC 61508, December 1998, ISBN 2-8318-4575-0, 127 p..
48. Functional Safety of Standard Electrical/Electronic/ Programmable Electronic Safety-Related Systems, Part 2: Requirements for Electrical/ Electronic/ Programmable Electronic Safety-Related Systems, IEC 61508, May 2000, 2-8318-5195-5, 152 p.
49. Functional Safety of Standard Electrical/Electronic/ Programmable Electronic Safety-Related Systems, Part 3: Software Requirements, IEC 61508, December 1998, ISBN 2-8318-4618-8, 105 p..
50. Functional Safety of Standard Electrical/Electronic/ Programmable Electronic Safety-Related Systems, Part 4: Definitions And Abbreviations, IEC 61508, December 1998, ISBN 2-8318-4584-X, 65 p..
51. Functional Safety of Standard Electrical/Electronic/Programmable Electronic Safety-Related Systems, Part 5: Examples of Methods for the Determination of Safety Integrated Levels, IEC 61508, December 1998,2-8318-4596-3, 67 p..
52. Functional Safety of Standard Electrical/Electronic/ Programmable Electronic Safety-Related Systems, Part 6: Guidelines on the Application of 61508-2 and 61508-3, IEC 61508, Mars 2000, ISBN 2-8318-5211-0, 154 p..
53. Functional Safety of Standard Electrical/Electronic/ Programmable Electronic Safety-Related Systems, Part 7: Overview of Techniques and Measures, IEC 61508, Mars 2000, ISBN 2-8318-5151-3.
54. D. E. Embrey, "Incorporating management and organizational factors into probabilistic safety assessment," Elsevier Journal of Reliability Engineering and System Safety, vol. 38, pp. 199-208, 1992.
55. G. Moncelet, A. Texier, and N. Raimarckers, "New concepts for a dependable design of aeronautic engine lubrification system," in Lambdamu13/Esrel 2002 European Conference, Lyon, France, March 2002, pp. 10-15.
56. J. L. Chabot, Y. Dutuit, and A. Rauzy, "A petri net approach to dynamic reliability," in Esrel 2001, Torino, Italy, September 16-20, pp. 1387-1394.
57. [Online]. Available: http://www.daimi.aau.dk/designCPN
58. P. Barger, J.-M. Thiriet, and M. Robert, "Performance and dependability evaluation of distributed dynamical systems," in Lambda-mil13/ Esrel 2002 European Conference, Lyon, France, March 2002, pp. 16-22.
59. V. Benard, "Evaluation de la sûreté de Fonctionnement des Systèmes Complexes Basêe sur un Modèle Fonctionnel Dynamique: La Méthode Safe-SADT," PhD dissertation, University of Valenciennes, December 2004, LAMIH C.N.R.S 8530.
60. J. P. Ligeron, "Les limites de la sûreté de fonctionnement," in Open Session of French-Speaking Congress PENTOM'03, Mar 26-28, PUV 2003, ISBN 2-905725-51-6.
61. G. Becker, J. Nagel, L. Camarinopoulos, and D. Kabranis, "Dynamic reliability expressed in terms of transition frequency densities," in Esrel 2001, Torino, Italy, September 16-20, pp. 1383-1386.
62. P. E. Labeau, "Monte Carlo simulation for dynamic reliability problems with distributed safely borders," in Esrel 2001, Torino, Italy, September 16-20, pp. 1395-1400.
63. M. Woltereck, "Dynamic reliability analysis with quantification of epistemic uncertainty: a BWR application," in Esrel 2001, Torino, Italy, September 16-20, pp. 1403-1410.
64. H. S. Blanks, Reliability in Procurement and Use: From Specification to Replacement. : J. Wiley & Sons, 1992,0471934887.
65. Z. Chen, "Statistical inference about the shape parameter of the weibull distribution," Statistical & Probability Letters, vol. 36, pp. 85-90, 1997.
66. D. A. Marcaand and C. L. McGowan, SADT: Structured Analysis and Design Technique. New York: McGraw-Hill Book Co., Inc, 1988.
67. European Standards, Draft, Railway applications: Software for Railway Control and Protection Systems, EN 50128, November 1995.
68. P. G. Bishop, "Dependability of critical computer systems - Part 3: techniques directory," Guidelines Produced by the European Workshop on Industrial Computer Systems Technical Commitee 7 (EWICS TC7) London Elsevier Applied Science, 1990.
69. M. Staroswiecki and M. Bayart, Actionneurs intelligents. : Hermès, 1994, 2-86601-439-1.
70. A. Villemeur, Reliability, Availability, Maintainability and Safety Assessment. : John Wiley & Sons ltd, 1992, vol. 1, 0-471-93048-2, ISBN 0-471-93049-0 (vol. 2).
71. D. R. Cox, Renewal Theory. Londres: Methuen & CO., Ltd, 1966.
72. R. Hanus and P. Bogaerts, Introduction à l'automatique. : De Boeck Universite, 1996, vol. 1, 2804121089.
73. V. Benard, L. Cauffriez, and D. Renaux, "Point of view of availability assessment for complex system: A method based onto transfer function," in International Conference IFAC-INCOM'01, Vienna, Austria, Sept 20-22, 2001.
74. C. Cocozza-Thivent, Processus stochastiques et fiabilité des systèmes. Paris: Springer, 1997, p. 435, 3540633901.
75. A. Dubi, Monte Carlo Applications in Systems Engineering. : John Wiley & Sons, Ltd, 2000, 0471981729.
76. P. E. Labeau, "Partially unbiased estimators for reliability and availability calculations," Progress in Nuclear Energy, vol. 36, no. 2, pp. 131-187, 2000.
77. S. Pasquet, "Analyse de sûreté de fonctionnement de systèmes dynamiques à l'aide de diagnramme de flux et de réseaux de neurones," PhD Dissertation, University of Troyes, France, 1999.
78. V. Benard, L. Cauffriez, and D. Renaux, "Dependability evaluation of complex systems based on a functional dynamic model: the safe-SADT method," in Conférence Internationale EuroSim '04, Paris, Septembre 2004.
79. J. Beugin, D. Renaux, and L. Cauffriez, "SIL quantification approachr to complex systems for guided transportation," in ESREL 2005 - European Safety and Reliability Conference, Kolowrocki, Ed., June 2005, pp. 197-204, ISBN 0-415-38340-4, Taylor & Francis Group, Gdansk, Poland.
80. R. Isermann, R. Schwarz, and S. Stölzl, "Fault tolerant drive-by-wire systems," IEEE Control Systems, pp. 64-81, October 2002.
81. G. Leen and D. Hefferman, "Expanding automotive electronic systems," IEEE Computer, pp. 88-93, January 2002, 0018-9162/02.
82. L. Cauffriez, J. Beugin, D. Renaux, and P. Millot, "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, pp. 70-75.