Linking interoperability and risk assessment: A methodological approach for socio-technical systems

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 12, Issue PART 1, 2006, Pages

  Aloui, Saber ^a   Chapurlat, Vincent ^a   Penalva, Jean Michel ^a  

^a ECOLE DES MINES D ALÈS   (France)

Author keywords

Modelling; Risk; Socio technical system; Verification

Indexed keywords

IMPROVEMENT PROBLEMS; METHODOLOGICAL APPROACH; MODELLING; SOCIOTECHNICAL SYSTEMS;

MANUFACTURE; RATING; RISK ASSESSMENT;

INTEROPERABILITY;

EID: 79961176117     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (32)

1. Accelera (2004), PSL Property Specification Language Reference Manual, Accelera Formal Verification Technical Committee (FVTC), Version 1.1 (http://www.eda.org/vfv/)
2. Beznosov, K. (2000). Information Enterprise Architectures: Problems and Perspectives.
3. Bérard B., Bidoit M., Finkel A., Laroussinie F., Petit A., Petrucci L., Schnoebelen Ph. McKenzie P. (2001) Systems and Software verification: model checking techniques and tools, Springer
4. Chapurlat V., Kamsu Foguem B., Prunet F. (2003) Enterprise model verification and validation: an approach, Annual Review in Control, IFAC Journal.
5. Chapurlat V., Lambolais T., Benaben F., Antoine C. (2004) Unified Properties Specification Language: a framework, in Preprints of INCOM'04 congress, Brazil, February 2004
6. Chapurlat V., Kamsu-Foguem B., Prunet F (2005), A Formal Verification Framework and Associated Tools for Enterprise Modelling: Application to UEML, Computers in Industry, Elsevier
7. EICTA (2004) Interoperability white paper, European Industry Association, (www.athena.ip.org)
8. EPA (2005) US Environmental Protection Agency (http://www.epa.gov/)
9. IEEE (1990) Standard Computer Dictionary: A Compilation of IEEE Standard Computer Glossaries, Institute of Electrical and Electronics Engineers, New York
10. GERAM (1999) GERAM: Generalised Enterprise Reference Architecture and Methodology Version 1.6.1, IFIP-IFAC Task Force on Architectures for Enterprise Integration
11. GME (2004) Generic Modeling Environment (GME) User's Manual, Release 4-11, Institute for Software Integrated Systems (ISIS) Vanderbilt University
12. ISDRD (2005), International Strategy for Disaster Reduction, (http://www.unisdr.org/isdrindex.htm)
13. Kamsu-Foguem B., Chapurlat V., Prunet F. (2003) Enterprise Model Verification: A graph-based approach, Proceedings of CESA'2003, Computing Engineering in Systems Applications, Lille, France
14. Kervern G.Y. (1994) Latest Advances in Cindynics. Economica Paris.
15. Lee, W. S., Grosh, D. L., Tillman, F. A., Lie, C. H. (1985) Fault tree analysis, methods, and applications - A review, IEEE Transactions on Reliability, pp 194-203
16. Love G., Back G. (2000) Model Verification and Validation for Rapidly Developed Simulation Models: Balancing Cost and Theory, white paper of the Project Performance Corporation (http://www.ppc.com/)
17. NASA (1998) Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems, Volume II: A Practitioner's Companion, http://eis.jpl.nasa.gov/quality/Formal-Methods/document/NASA gb2.pdf
18. Penalva, J-M (1997) La modélisation par les systèmes en situations complexes, PhD Thesis, Université Paris Sud. (In french)
19. Perilhon, P. (2003). MOSAR, Techniques de l'Ingénieur, traité Sécurité et gestion des risques (in french)
20. UEML (2002). Petit M, Doumeingts G., Delivrable D1.1: Enterprise Modelling State of the Art, UEML Thematic Network, IST-2001-34229 (www.ueml.org)
21. UEML (2003) Berio G. et al., Deliverable D3.1: Requirements analysis: initial core constructs and architecture, Unified Enterprise Modelling Language UEML Thematic Network, IST-2001-34229 (see www.ueml.org)
22. Reilly A., Kaferstein F. (1997), Food safety hazards and the application of the principles of HACCP system for their control in aquaculture production, Aquaculture Research, vol. 28, no. 10, pp. 735-752.
23. Sowa, J. and J. A. Zachman (1992). Extending and Formalizing the Framework for Information Systems Architecture. IBM Systems Journal 31(3): 590-616.
24. Stamatis, D. H. (1995). Failure mode and effects analysis: FMEA from theory to execution. ASQ Quality Press
25. Studer, R., Benjamins, V. Fensel, D. (1998). Knowledge Engineering: Principles and Methods, Data and Knowledge Engineering no25, 161-197.
26. Tixier J., Dusserre G., Salvi O., Gaston D. (2002) Review of 62 risk analysis methodologies of industrial plants, Journal of Loss Prevention in the Process Industries, Elsevier
27. Uschold M., Gruninger M. (1996) Ontologies: Principles, Methods and Applications, Knowledge Engineering Review, vol.11:2, pp. 93-136
28. Van Lamsweerde A. (2002) Formal Specification: a Roadmap, The Future of Software Engineering, A. Finkelstein (ed.), ACM Press
29. Vernadat F. B., (1996), Enterprise Modelling and Integration: Principles and Applications, Chapmann & Hall
30. Vickers G. (1965) The Art of Judgement, Methuen, London
31. Yahoda (2003) web site presenting an overview of formal verification tools (see http://anna.fi.muni.cz/yahoda/)
32. Zachman, J. A. (1987). A framework for Information Systems Architecture. IBM Systems Journal 26(3): 276-292.