Formalisation of normative knowledge for safe design

Safety Science

Volumn 41, Issue 2-3, 2003, Pages 241-261

  Blaise, Jean Christophe ^a   Lhoste, Pascal ^a   Ciccotelli, Joseph ^b  

^a CENTRE DE RECHERCHE EN AUTOMATIQUE DE NANCY   (France)

^b INSTITUT NATIONAL DE RECHERCHE ET DE SÉCURITÉ   (France)

Author keywords

Integration; Machine design; Modelling; Natural language; NIAM ORM; Safety; Standards

Indexed keywords

MACHINE DESIGN; SEMANTICS; STANDARDIZATION;

SAFETY STANDARDS;

ACCIDENT PREVENTION;

ARTICLE; AUTOMATION; COMPUTER MODEL; EDUCATIONAL TECHNOLOGY; ENGINEERING; LANGUAGE; METHODOLOGY; PRIORITY JOURNAL; SAFETY;

EID: 0037333059     PISSN: 09257535     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0925-7535(02)00004-8     Document Type: Article

References (43)

1. Beeckman Modélisation de l'information dans les systèmes industriels. Ingénierie des systèmes d'information. 1(3):1993;305-323.
2. Blaise, J.C., Ciccotelli, J., Lhoste, P., 1999a. Contribution à l'ingénierie sécuritaire des systèmes automatisés de production: Formalisation de normes de Sécurité. Proceedings of the Safety of Industrial Automated Systems Conference. Montreal. pp 16-21.
3. Blaise, J.C. Lhoste, P., Ciccotelli, J., 1999b. Safety of machinery: Integration of engineering and normative views. In: Schuëller, Kafka (Eds.), Proceedings of ESREL'99 - The Tenth European Conference on Safety and RELiability. Munich-Garching Germany, 13-17 September 1999. Balkema. Rotterdam. pp. 1411-1416.
4. Boudillon, L., Sourisse, C., 1996. La Sécurité des Machines Automatisées. Tome 1. Institut Schneider Formation, Cergy-pontoise.
5. Cantin, R., 1995. Retours d'Expérience de la Pratique et Maîtrise des Procédés Industriels in Connaissances et Savoir-Faire en Entreprise. Ed. Hermès, pp. 229-247.
6. Ciccotelli, J., 1999. Des systèmes compliqués aux systèmes complexes. Eléments de réflexion pour l'ingénierie de prévention. Cahiers de Notes Documentaires - Hygiène et Sécurité du Travail. 177 (4), 125-133.
7. Corbel, J. C., 1995. Méthodologie de Retour d'Expérience, Démarche MEREX de Renault. In Connaissances et Savoir-Faire en Entreprise. Ed. Hermès, pp. 93-110.
8. Council directive, 1998. Council directive 98/37/EEC. The Approximation of the Laws of the Member States Relating to Machinery. O.J.E.C. No. L 207 of 23 July 1998. ECS, Brussels, pp. 1-46.
9. Denis, B., Lesage, J.J., 1995. Un panorama de la recherche en conception de la conduite des systèmes de production. Proceedings of International Industrial Engineering Conference. Productivity in a World without Borders. 3, 1537-1549.
10. ECS, 1991. EN 292-1. Safety of Machinery - Basic Concepts, General Principles for Design. ECS.
11. EN 414. Safety of Machinery - Rules for the Drafting and Presentation of Safety Standards. 1992;ECS, Brussels.
12. EN 692. Mechanical Presses - Safety. 1996;ECS, Brussels.
13. EN 45020. Standardization and Related Activities - General Vocabulary. 1998;ECS, Brussels.
14. European Committee for Standardisation Annual Report (1997-1998). 1998;ECS Central Secretariat, Brussels. CEN B23/9809/7k.
15. Fadier E., Ciccotelli J. How to integrate safety in design. methods and models Journal of Human Factors and Ergonomics in Manufacturing. 9(4):1999;367-380.
16. Firlej M. Knowledge Elicitation: A Practical Handbook. 1990;Prentice Hall.
17. Habrias, H., 1988. Le Modèle Relationnel Binaire. Méthode I.A. (NIAM). Ed. Eyrolles.
18. Halpin T.A. Object-Role Modeling (ORM/NIAM) in Chapter 4 of Handbook on Architectures of Information Systems. 1998;Springer.
19. Harani Y. Modèle de produit et modèle de processus pour la représentation de l'activité de conception. International Journal of Mechanical Production Systems Engineering. 1:1998;V-11-V-20.
20. Hasan, R., Bernard, A., Ciccotelli, J., Martin, P., 2000. Intégration de la Sécurité dès la conception de systèmes de production: Modélisation de l'interaction homme - Machine dans le fonctionnement du produit lors du processus de conception. 3rd International Conference on Integrated Design and Manufacturing in Mechanical Engineering, IDMME'2000, Montreal, Canada.
21. Standard for Application Management of the Systems Engineering Process:1990;IEEE, New York.
22. ITS (Information Technology and Services), 1991. ISW: Un Outil pour la Méthode NIAM ou Passer du Langage Naturel à des Spécifications non Ambiguës. Génie Logiciel & Systèmes Experts, pp. 36-41.
23. Jouffroy, D., Demor, S., Ciccotelli, J., Martin, P., 1998. An Approach to Integrate Safety at the Design Stage of Numerically Controlled Woodworking Machines. in Integrated Design and Manufacturing in Mechanical Engineering. Kluwer Academic, pp. 643-650.
24. Lacore, J.P., 1993a. Normes et Normalisation Européennes en Matière de Santé et de Sécurité dans le Cadre de la Nouvelle Approche. Cahiers de Notes Documentaires ND 1913. No. 150. INRS, Paris, pp. 79-86.
25. Lacore, J.P., 1993b. Le Principe d'Intégration de la Sécurité et de la Norme EN 292. Journées CETIM des 14 et 15 Décembre 1993 sur la "Sécurité des Equipements de Travail: Les Nouvelles Règles Techniques Européennes et leur Transposition en Droit Français. Senlis, pp. 85-90.
26. Lemoigne, J.L., 1994. La Théorie du Système Général, Théorie de la Modélisation. PUF. 4 ed. Paris.
27. Lhoste, P., 1994. Contribution au Génie Automatique: Concepts, Modèles, Méthodes et Outils. Habilitation à Diriger des Recherches, Univ. Nancy-I.
28. Mayer, A., Ciccotelli, J., Marsot, J., 1998. Contribution of a Research Laboratory to the Design of Safe Machinery. Safety by Design European Conference, Manchester, UK.
29. Malhotra A., Thomas J.C., Caroll J.M., Miller L.A. Cognitive processes in design. International Journal of Man Machine Studies. 12:1980;119-140.
30. Meinadier J.P. Ingénierie et Intégration des Systèmes. 1998;Hermes, Paris.
31. Neboit M., Fadier E., Poyet C. Analyse Systémique et Analyse Ergonomique, Application Conjointe à la Reconception d'une Cellule Robotisée d'usinage. NS 0100. 1993;INRS, Paris.
32. New Approach, 2000. Web Site on the New Approach Standardisation in the European Internal Market. Available: http://www.newapproach.org.
33. Rösner D., Grote B., Hartmann K., Höfling B. From natural language documents to sharable product knowledge. a knowledge engineering approach Journal of Universal Computer Science. 3(8):1997;955-987.
34. L'Intelligence Artificielle et le Langage. Vol. 1 - Représentations des Connaissances. 1990;Hermès.
35. Sharp, J.K., 1998. Is it still a requirement if the subject matter expert didn't tell the analyst? Journal of Conceptual Modeling. Available: http://www.inconcept.com/JCM/August1998/sharp.html .
36. ter Hofstede A.H.M., van der Weide Th.P. Expressiveness in conceptual data modelling. Data and Knowledge Engineering. 10(1):1993;65-100.
37. ter Hofstede A.H.M., Proper H.A., van der Weide Th.P. Exploiting fact verbalisation in conceptual information modelling. Information Systems. 22(6/7):1997;349-385.
38. Toussaint, Y., 1992. Méthodes Informatiques et Linguistiques pour l'Aide à la Spécification de Logiciel. PhD thesis. Computer specialty. Univ. P. Sabatier, Toulouse.
39. van Bommel P., ter Hofstede A.H.M., van der Weide T.P. Semantics and verification of Object-Role Models. Information Systems. 16(5):1991;471-495.
40. van Gheluwe, J.P., 1993. La directive machines. Journées CETIM des 14 et 15 Décembre 1993 sur la Sécurité des Equipements de Travail: Les Nouvelles Règles Techniques Européennes et Leur Transposition en Droit Français. Senlis, pp. 5-13.
41. Vink D. La Connaissance: ses Objets et ses Institutions in Connaissances et Savoir-faire en Entreprise. 1995;Hermès.
42. Wintraecken J.J.V.R. The NIAM Information Analysis Method. Theory and Practice. 1990;Kluwer Academic Publishers, Netherlands.
43. Yunker, 1993. The dependency between Representation and Procedure. NIAM-ISDM Conference. Working Papers. Utrecht (the Netherlands).