Safety Management of Software-based Equipment

Safety Management of Software-based Equipment

Volumn , Issue , 2013, Pages 1-181

  Boulanger, Jean Louis ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

FAULT DETECTION; REDUNDANCY;

ERROR-DETECTION TECHNIQUES; SAFETY ARCHITECTURE; SAFETY MANAGEMENT; SAFETY OBJECTIVES; SAFETY TECHNIQUES; SOFTWARE PROGRAM;

REVIEWS;

EID: 84961805778     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1002/9781118579916     Document Type: Book

References (145)

1. IEC, IEC 61508: Sécurité fonctionnelle des systèmes électriques électroniques programmables relatifs à la sécurité, international standard, 2008.
2. LAPRIE J.C., AVIZIENIS A., KOPETZ H. (eds), "Dependability: basic concepts and terminology", Dependable Computing and Fault-Tolerant System, vol. 5, Springer, New York, NY, 1992.
3. LIS, Laboratoire d'Ingénierie de la Sûreté de Fonctionnement, Guide de la sûreté de fonctionnement, Cépaduès, 1995.
4. VILLEMEUR A., Sûreté de fonctionnement des systèmes industriels, Eyrolles, Paris, 1988.
5. NF F 71-013 Installation fixes et matériel roulant ferroviaires, Informatique, Sûreté de fonctionnement des logiciels - Méthodes appropriées aux analyses de sécurité des logiciels, December 1990.
6. BOULANGER J.-L. (ed.), Safety of Computer Architectures, ISTE, London and John Wiley and Sons, New York, 2010.
7. BOULANGER J.-L. (ed.), Sécurisation des architectures informatiques industrielles, Hermes-Lavoisier, Paris, 2011.
8. ISO, ISO 9001: 2008, Systèmes de management de la qualité - Exigence, December 2008.
9. NAUR P., RANDELL B. (eds), Software Engineering: A Report on a Conference sponsored by NATO Science Committee, NATO, 1969.
10. SOMMERVILLE I., Software Engineering, version 8, 2007.
11. AFNOR, EN 50155, French standard, Applications Ferroviaires. Equipements électroniques utilisés sur le matériel roulant, October 2007.
12. AHMED A., LANTERNIER B., "Trois méthodes pour déterminer le niveau de sécurité", Revue Mesure, no. 813, pp 26-27, 2009.
13. American Institute of Chemical Engineers, Guidelines for Safe Automation of Chemical Processes, CCPS, New York, 1993.
14. Software Considerations in Airborne Systems and Equipment Certification, published by ARINC, no. DO 178B, and EUROCAE, no. ED12, edition C, 2011.
15. Design Assurance Guidance for Airborne Electronic Hardware, published by ARINC, no. DO254, and EUROCAE, no. ED80, 2000.
16. Certification Considerations for Highly-Integrated or Complex Systems, published by SAE, no. ARP4754, and EUROCAE, no. ED79, 1996.
17. Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems, published by SAE, no. ARP4761, EUROCAE, no. 135, 1996.
18. ASTRUC J-M., BECKER N., "Toward the application of ISO 26262 for real-life embedded mechatronic systems", ERTS2, 19-21 May 2010, Toulouse, France.
19. BARANOWSKI F., Définition des objectifs de sécurité dans les transports terrestres. Technical Report 133, INRETS-ESTAS, 1990.
20. BAUFRETON P., BLANQUART J.P., BOULANGER J.L., DELSENY H., DERRIEN J.C., GASSINO J., LADIER G., LEDINOT E., LEEMAN M., QUéRé P., RICQUE B., "Multidomain comparison of safety standards", ERTS2, 19-21 May 2010, Toulouse France
21. BAUFRETON P., BLANQUART J.-P., BOULANGER J.-L., DELSENY H., DERRIEN J.-C., GASSINO J., LADIER G., LEDINOT E., LEEMAN M., QUERE P., RICQUE B. "Comparaison de normes de sécurité-innocuité de plusieurs domaines industriels", Revue REE, No 2 - 2011
22. BIED-CHARRETON D., Sécurité intrinsèque et sécurité probabiliste dans les transports terrestres, Technical Report 31, INRETS - ESTAS, November 1998.
23. BLAS A. and BOULANGER J.-L., "Comment Ameliorer les Méthodes d'Analyse de Risques et l'Allocation des THR, SIL et autres Objectifs de Sécurité", LambdaMu 16, 16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Avignon 6-10 October 2008.
24. BOULANGER J.-L. and GALLARDO M., "Processus de validation basée sur la notion de propriété", LamnbdaMu 12, 28-30 March 2000.
25. BOULANGER J.-L., Expression et validation des propriétés de sécurité logique et physique pour les systèmes informatiques critique, May 2006, Compiègne University of Technology, France.
26. BOULANGER J.-L. and SCHöN W., "Logiciel sûr et fiable: retours d'expérience", Revue Génie Logiciel, December 2006, No 79, pp 37-40.
27. BOULANGER J.-L. and SCHöN W., "Assessment of Safety Railway Application", ESREL 2007.
28. GALLARDO M. and BOULANGER J.-L. "Poste de manoeuvre à enclenchement informatique: démonstration de la sécurité", CIFA, Conférence Internationale Francophone d'Automatique, Bucharest, Romania, November 2008.
29. BOULANGER J.L. (ed.), Sécurisation des architectures informatiques - exemples concrets, Hermès-Lavoisier, Paris, 2009.
30. BOULANGER J.-L., "Le domaine ferroviaire, les produits et la certification"., Journée "ligne produit" 15 October 2009, Ecole des mines de Nantes, France.
31. BOULANGER J.-L., "Sécurisation des systèmes mécatroniques. Partie 1", dossier BM 8070, Revue technique de l'ingénieur, November 2010.
32. BOULANGER J.-L. (ed.), Sécurisation des architectures informatiques industrielles, Hermès-Lavoisier, Paris, 2011.
33. BOULANGER J.-L., "Sécurisation des systèmes mécatroniques. Partie 2", dossier BM 8071, Revue technique de l'ingénieur, April 2011.
34. BOULANGER J.-L., DELEBARRE V. and NATKIN S., "Meteor: Validation de Spécification par modèle formel", Revue RTS, No 63, pp47-62, April-June 1999.
35. CENELEC, NF EN 50126, Applications Ferroviaires. Spécification et démonstration de la fiabilité, de la disponibilité, de la maintenabilité et de la sécurité (FMDS), January 2000.
36. CENELEC, NF EN 50128, Applications Ferroviaires. Système de signalisation, de télécommunication et de traitement - Logiciel pour système de commande et de protection ferroviaire, July 2001.
37. CENELEC, EN 50159-1, European standard, Applications aux Chemins de fer: Systèmes de signalisation, de télécommunication et de traitement - Partie 1: communication de sécurité sur des systèmes de transmission fermés, March 2001.
38. CENELEC, EN 50159-2, European standard, Applications aux Chemins de fer: Systèmes de signalisation, de télécommunication et de traitement - Partie 2: communication de sécurité sur des systèmes de transmission ouverts, March 2001.
39. CENELEC, NF EN 50129, European standard, Applications ferroviaires: systèmes de signalisation, de télécommunications et de traitement systèmes électroniques de sécurité pour la signalisation, 2003.
40. CENELEC, EN 50121, Railway applications - Electromagnetic compatibility, 2006.
41. CENELEC, European standard, Railway Applications - Communication, Signalling and Processing systems - Application Guide for EN 50129 - Part 1: crossacceptance, May 2007.
42. CENELEC, EN 50128, European standard, Applications Ferroviaires. Système de signalisation, de télécommunication et de traitement - Logiciel pour système de commande et de protection ferroviaire, October 2011.
43. CENELEC, EN 50159, European standard, Applications aux Chemins de fer: Systèmes de signalisation, de télécommunication et de traitement - Communication de sécurité sur des systèmes de transmission, August 2011.
44. DG énergie et Transport. Ertms - pour un trafic ferroviaire fluide et sûr. Technical report, Commission Européenne, 2006.
45. GEFFROY J.-L. and MOTET G., Sûreté de fonctionnement des systèmes informatiques, InterEditions 1998.
46. GOLOUBEVA O., REBAUDENGO M, SONZA REORDA M. and VIOLANTE M., Software Implemented Hardware Fault Tolerance, Springer, 2006.
47. GULLAND W. G., "Methods of Determining Safety Integrity Level (SIL) Requirements - Pros and Cons", Proceedings of the Safety-Critical Systems Symposium, Birmingham (England), February 2004.
48. HADJ-MABROUCK H., "La maitrise des risques dans le domaine des automatismes des systèmes de transport guidés: le problème de l'évaluation des analyses préliminaires de risqué", Revue Recherche Transports Sécurité, (49):101-112, December 1995.
49. HADJ-MABROUCK H., STUPARU A., and BIED-CHARRETON D., "Exemple de typologie d'accidents dans le domaine des transports guides", Revue générale des chemins de fers, 1998.
50. IEC, IEC 1069: Mesure et commande dans les processus industriels - appréciation des propriétés d'un système en vue de son évolution, Technical report, 1991.
51. IEC, IEC 61508: Sécurité fonctionnelle des systèmes électriques électroniques programmables relatifs à la sécurité, international standard, 1998.
52. IEC, IEC 61131-3, Programmable controllers - Part 3: Programming languages 2003
53. NF EN 61511, European standard, Sécurité fonctionnelle Systèmes instrumentés de sécurité pour le secteur des industries de transformation, March 2005.
54. ISA, Guide d'Interprétation et d'Application de la Norme IEC 61508 et des Normes Dérivees IEC 61511 (ISA S84.01) ET IEC 62061, April 2005.
55. EN ISO/IEC 17025, Exigences générales concernant la compétence des laboratoires d'étalonnages et d'essais, 2005.
56. ISO, ISO 9001:2008, Systèmes de management de la qualité - Exigence, December 2000.
57. ISO, ISO/DIS26262, Road vehicles - Functional safety, 2011.
58. LAPRIE J.C., AVIZIENIS A., KOPETZ H. (ed.), Dependability: Basic Concepts and Terminology, Dependable Computing and Fault-Tolerant System, vol. 5, Springer, New York, 1992.
59. LIAIGRE D., "Impact de ISO 26262 sur l'état de l'art des concepts de sécurité automobiles actuels", LambdaMu'08, Avignon, October 2008.
60. LIS, Laboratoire d'Ingénierie de la Sûreté de Fonctionnement. Guide de la sûreté de fonctionnement, Cépaduès, 1995.
61. LEVESON N.G., Safeware: System Safety and Computers, Addison Wesley, Nenlo Park, CA. First ed., 1995.
62. PAPADOPOULOS Y., WALKER M., REISER M.-O., WEBER M., CHEN D., TöRNGREN M., SERVAT D., ABELE A., STAPPERT F., LONN H., BERNTSSON L., JOHANSSON R., TAGLIABO F., TORCHIARO S, SANDBERG A., "Automatic Allocation of Safety Integrity Levels", Workshop CARS, Congrès EDCC 2010.
63. RAIL SAFETY AND STANDARDS BOARD, Engineering Safety Management (The Yellow Book) - Fundamentals and Guidance, Volumes 1 and 2, Issue 4, 2007.
64. SIMON C., SALLAK M. and AUBRY J.F., "Allocation de SIL parAgregation d'Avis d'Experts SIL Allocation by Aggregation of Expert Opinions", LambdaMu 15, 2006
65. SMITH D.J. and KENNETH G. L. Simpson, Functional Safety, A Straightforward Guide to Applying IEC 61508 and Related Standards, second edition, Elsevier, 2007.
66. STRMTG, Mission de l'Expert ou Organisme Qualifié Agrée (EOQA) pour l'évaluation de la sécurité des projets, version 1 du 27/03/2006.
67. AFNOR, EN 50155, French standard, Applications Ferroviaires. Equipements électroniques utilisés sur le matériel roulant, December 2001.
68. AHMED A., LANTERNIER B., "Trois méthodes pour déterminer le niveau de sécurité", Revue Mesure, Numéro 813, pages 26-27, 2009.
69. BLAS A. and BOULANGER J.-P., "Comment Améliorer les Méthodes d'Analyse de Risques et l'Allocation des THR, SIL et Autres Objectifs de Sécurité", LambdaMu 16, 16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Avignon 6-10 October 2008.
70. BOULANGER J.-L., Expression et validation des propriétés de sécurité logique et physique pour les systèmes informatiques critiques, Compiègne University of Technology, May 2006.
71. BOULANGER J.-P. and SCHöN W., "Assessment of Safety Railway Application", ESREL 2007.
72. BOULANGER J.-P. and GALLARDO M., "Poste de manoeuvre à enclenchement informatique: démonstration de la sécurité", CIFA, Conférence Internationale Francophone d'Automatique, Bucharest, Romania, November 2008.
73. BOULANGER J.-L., Sécurisation des architectures informatiques - exemples concrets, Hermès-Lavoisier, Paris, France, 2009.
74. BOULANGER J.-L., "Le domaine ferroviaire, les produits et la certification", Journée « ligne produit" 15 October 2009, Ecole des mines de Nantes.
75. BOULANGER J.-L., Sécurisation des architectures informatiques industrielles, Hermès-Lavoisier, Paris, France, 2011.
76. BOULANGER J.-L., "Sécurisation des systèmes mécatroniques. Partie 2", dossier BM 8071, Revue technique de l'ingénieur, April 2011.
77. BOULANGER J.-P., DELEBARRE V. and NATKIN S., "Meteor: Validation de Spécification par modèle formel", Revue RTS, no. 63, pp47-62, April - June 1999.
78. CENELEC, NF EN 50126, Railway applications - The specification and demonstration of Reliability, Availability, Maintainability and Safety (RAMS), October 1999.
79. CENELEC, NF EN 50129, Railway applications - Communication, signalling and processing systems - Safety related electronic systems for signalling, February 2003.
80. CENELEC, NF EN 50128, Applications Ferroviaires. Système de signalisation, de télécommunication et de traitement - Logiciel pour système de commande et de protection ferroviaire, July 2011.
81. CENELEC, European standard, Railway Applications - Communication, Signalling and Processing systems - Application Guide for EN 50129 - Part 1: cross- Acceptance, May 2007.
82. DG éNERGIE ET TRANSPORT. Ertms - pour un trafic ferroviaire fluide et sûr. Technical report, European Commission, 2006.
83. GULLAND W G, "Methods of Determining Safety Integrity Level (SIL) Requirements - Pros and Cons", Proceedings of the Safety-Critical Systems Symposium, Birmingham, UK, February 2004.
84. HARTWIG K. GRIMM M., MEYER ZU HöRSTE M., Tool for the Allocation of Safety Integrity Levels, Level Crossing, Montreal, 2006.
85. ISO, ISO/DIS26262, Road vehicles - Functional safety - not published, 2009.
86. LAPRIE J.C., AVIZIENIS A., KOPETZ H. (eds), Dependability: Basic Concepts and Terminology, Dependable Computing and Fault-Tolerant System, vol. 5, Springer, New York, 1992.
87. LEVESON N.G., Safeware: System Safety and Computers, Addison Wesley, Nenlo Park, CA, USA, First ed. 1995.
88. SIMON C., SALLAK M. et AUBRY J.F., "Allocation de SIL par Agregation d'Avis d'Experts/ SIL Allocation by Aggregation of Expert Opinions", LambdaMu 15, 2006.
89. SMITH D.J. and SIMPSON K.G.L., Functional Safety, a Straightforward Guide to Applying IEC 61508 and Related Standards, second edition, Elsevier, 2007.
90. ABRIAL J.R., The B Book - Assigning Programs to Meanings, Cambridge University Press, Cambridge, MA, 1996.
91. ANSI, Standard ANSI/MIL-STD-1815A-1983, Langage de programmation Ada, 1983.
92. BALEANI M., FERRARI A., MANGERUCA L., PERI M., PEZZINI S., "Fault-Tolerant Platforms for Automotive Safety Critical Applications", Proceedings of the 2003 International Conference on Compilers, Architecture and Synthesis for Embedded Systems, pp. 170-177, 2003.
93. BIED-CHARRETON D., "Concepts de mise en sécurité des architectures informatiques", Recherche Transports Sécurité, no. 64, pp. 21-36, July - September, 1999.
94. BOULANGER J.-L., Safety of Computer Architectures, ISTE Ltd, London and John Wiley & Sons, New York, 2010.
95. BOULANGER J.-L., Sécurisation des architectures informatiques industrielles, Hermes-Lavoisier, Paris, France, 2011.
96. CENELEC, NF EN 50126 Railway applications - the specification and demonstration of reliability, availability, maintainability and safety, January 2000.
97. CENELEC, NF EN 50129 European standard. Railway applications - communication, signalling and processing systems - safety-related communication in transmission systems, 2003.
98. CENELEC, EN 50159-1 European standard. Railway applications - communication, signalling and processing systems, September 2010.
99. Design assurance guidance for airborne electronic hardware, ARINC, no. DO254, EUROCAE, no. ED80, 2000.
100. DUFOUR J.L., "Automotive Safety Concepts: 10-9/h for less than 100E a piece", Automation, Assistance and Embedded Real Time Platforms for Transportation, AAET, Braunschweig, Germany, 16-17 February 2005.
101. ESSAME D., ARLAT J., POWELL D., Tolérance aux fautes dans les systèmes critiques, LAAS report, no. 151, March 2000.
102. FORIN P., "Vital coded microprocessor principles and application for various transit systems", IFAC - Control, Computers, Communications in Transportation, pp. 137-142, 1989.
103. GEORGES J.P., "Principes et fonctionnement du Système d'Aide à la Conduite, à l'Exploitation et à la Maintenance (SACEM). Application à la ligne A du RER", Revue Générale des Chemins de Fer, no. 6, June 1990.
104. GUIHOT G. and HENNEBERT C., "SACEM software validation", ICSE, PP 186-191, March 26-30, 1990.
105. HENNEBERT C., "Transports ferroviaires: Le SACEM et ses dérivés", ARAGO 15, Informatique tolérante aux fautes, Masson, Paris, 1994.
106. ISO, ISO/CD-26262, Road vehicles - Functional safety, 2011.
107. LAPRIE J.C., AVIZIENIS A., KOPETZ H. (DIR.), "Dependability: Basic Concepts and Terminology", Dependable Computing and Fault-Tolerant System, vol. 5, Springer, New York, NY, 1992.
108. LEAPHART E.G., CZERNY B.J., D'AMBROSIO J.G., DENLINGER C.L., LITTLEJOHN D., Survey of Software Failsafe Techniques for Safety-Critical Automotive Applications, Delphi Corporation, SAE, reference 2005-01-0779, 2005.
109. VAN LINT J.H., Introduction to Coding Theory, Springer, Berlin, 1999.
110. MARTIN J., GALIVEL C., "Le processeur codé: un nouveau concept appliqué à la sécurité des systèmes de transport", Revue Générale des Chemins de Fer, June, 1990.
111. MATRA and RATP, Naissance d'un Métro. Sur la nouvelle ligne 14, les rames METEOR entrent en scène. PARIS découvre son premier métro automatique. Numéro 1076 -Hors-Série. La vie du Rail & des transports, October, 1998.
112. YEH Y.C., "Triple-Triple Redundant 777 Primary Flight Computer", IEEE Aerospace Applications Conference, 1996.
113. ABRIAL JR., "The B Book - Assigning Programs to Meanings", Cambridge University Press, Cambridge, MA, 1996.
114. ANSI, Standard ANSI/MIL-STD-1815A-1983, Langage de programmation Ada, 1983.
115. ARINC, "Software Considerations in Airborne Systems and Equipment Certification", publié par l'ARINC, no. DO 178B, et par l'EUROCAE, no. ED12, édition B, 1992.
116. BAIER C., KATOEN J.-P., Principles of Model Checking, MIT Press, Cambridge, MA, 2008.
117. CENELEC, NF EN 50128, Applications Ferroviaires. Système de signalisation, de télécommunication et de traitement - Logiciel pour système de commande et de protection ferroviaire, July 2011.
118. FOURNIER J.-P., Fiabilité du logiciel, Hermes, Paris, France, 1993.
119. GEFFROY J.-C. and MOTET G., Sûreté de fonctionnement des systèmes informatiques, InterEditions, Masson-Dunod, 1998.
120. IEC, IEC 61508: Sécurité fonctionnelle des systèmes électriques électroniques programmables relatifs à la sécurité, international standard, 2000.
121. IEC, IEC 60880: Centrales nucléaires de puissance - Instrumentation et contrôlecommande importants pour la sûreté - Aspects logiciels des systèmes programmés réalisant des fonctions de catégorie A, 2006.
122. ISO, ISO 9001:2008, Systèmes de management de la qualité - Exigence, December 2008.
123. KLEIN P., "The safety-bag expert system in the electronic railway interlocking system elektra", Expert Systems with Applications, 3(4): 499-506, 1991.
124. LEVESON N.G., Safeware: System Safety and Computers, Addison Wesley, Nenlo Park, CA, USA, 1st edition, 1995.
125. VILLEMEUR A., Sûreté de Fonctionnement des systèmes industriels, Eyrolles, 1988.
126. BLAS A. and BOULANGER J.-L., "Comment Améliorer les Méthodes d'Analyse de Risques et l'Allocation des THR, SIL et Autres Objectifs de Sécurité", LambdaMu 16, 16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Avignon 6-10 October 2008.
127. BOULANGER J.-L. and SCHöN W., "Logiciel sûr et fiable: retours d'expérience", Revue Génie Logiciel, no. 79, December 2006.
128. BOULANGER J.-L. (ed.), Sécurisation des architectures informatiques - exemples concrets, Hermès-Lavoisier, Paris, France, 2009.
129. BOULANGER J.-L., "Le domaine ferroviaire, les produits et la certification. », Journée « ligne produit" 15 October 2009, Ecole des mines de Nantes.
130. BOULANGER J.-L. (ed.), Sécurisation des architectures informatiques industrielles, Hermès-Lavoisier, Paris, France, 2011.
131. BOULANGER J.-L., "Sécurisation des systèmes mécatroniques. Partie 2", dossier BM 8071, Revue technique de l'ingénieur, April 2011.
132. BOULANGER J.L., DELEBARRE V. and NATKIN S., "METEOR: Validation de Spécification par modèle formel", Revue RTS, no. 63, pp. 47-62, April-June 1999.
133. CENELEC, EN 50159-1, Norme européenne, Applications aux Chemins de fer: Systèmes de signalisation, de télécommunication et de traitement - Partie 1: communication de sécurité sur des systèmes de transmission fermés, March 2001.
134. CENELEC, EN 50121, Railway applications - Electromagnetic compatibility, 2006.
135. CENELEC, CLC/TR 50506-1 Railway applications - Communication, signaling and processing systems - Application, Guide for EN 50129 - part 1: Cross-acceptance, May 2007.
136. CENELEC, EN 50159, European standard, Applications aux Chemins de fer: Systèmes de signalisation, de télécommunication et de traitement - Communication de sécurité sur des systèmes de transmission, August 2011.
137. DG éNERGIE ET TRANSPORT, Ertms - pour un trafic ferroviaire fluide et sûr, Technical report, European Commission, 2006.
138. EUROCONTROL, Safety Case Development Manual, 13/10/2006.
139. IEC, Centrales nucléaires - Instrumentation et contrôle commande des systèmes importants pour la sûreté - Prescriptions générales pour les systèmes, IEC 61513, Edition 1.0, 22/3/2001.
140. IEC, Centrales nucléaires de puissance - Instrumentation et contrôle-commande importants pour la sûreté - Aspects logiciels des systèmes programmés réalisant des fonctions de catégorie A, IEC 60880, Edition 2.0, 2006-05.
141. IEC, Centrales nucléaires de puissance - Instrumentation et contrôle-commande importants pour la sûreté - Classement des fonctions d'instrumentation et de contrôlecommande, IEC 61226, Edition 3.0, 2009-07
142. ISA, "Guide d'Interprétation et d'Application de la Norme ICE 61508 et des Normes Dérivées IEC 61511 (ISA S84.01) et IEC 62061", April 2005.
143. ISO, EN ISO/IEC 17025 Exigences générales concernant la compétence des laboratoires d'étalonnages et d'essais, 2005.
144. ISO, ISO/IEC 17020:2012, Conformity assessment - Requirements for the operation of various types of bodies performing inspection, 2012.
145. IEC, BS EN 45011:1998, General requirements for bodies operating product certification systems, 1998.