Distributed intelligent actuation and measurement (IAM) system within an integrated shop-floor organisation

Computers in Industry

Volumn 37, Issue 3, 1998, Pages 197-211

  Pétin, Jean François ^a,b   Iung, Benoit ^a   Morel, Gérard ^a  

^a CNRS   (France)

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

Author keywords

Distributed architecture; Formal engineering; Integrated shop floor system; Intelligent systems; System engineering

Indexed keywords

ARTIFICIAL INTELLIGENCE; DISTRIBUTED COMPUTER SYSTEMS; FACTORY AUTOMATION; SYSTEMS ENGINEERING;

FORMAL ENGINEERING; INTEGRATED SHOP FLOOR SYSTEM; INTELLIGENT SYSTEM;

COMPUTER INTEGRATED MANUFACTURING;

EID: 0032204790     PISSN: 01663615     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0166-3615(98)00099-2     Document Type: Article

References (23)

1. Proceedings of the workshop on Process Modelling for Enterprise Integration with CIMOSA. Edited by CIM-OSA association, University of Technology in Loughborough, Leicester, UK, March, 1996.
2. G. Morel, B. Iung, D. Galara, F. Russo, Prototyping a sub-concept of Computer Integrated Manufacturing Engineering (CIME): the integrated Control, Maintenance and Technical Management System (CMMS), International Journal on Intelligent Actuation and Soft Computing - Trends in R&D and Applications, TSI Press Series, Vol. 2, ISBN 0-96274551-5-4, pp. 25-30.
3. D. Galara, F. Russo, G. Morel, B. Iung, Update on the European state of the art of Intelligent field devices, Proceedings of the International Conference on Intelligent Systems in Process Engineering, SnowMass, USA, AIChE Symposium Series, Vol. 92, 1996, pp. 339-342.
4. J.B. Leger, B. Iung, Ferro De Beca, J. Pinoteau, A new approach of Distributed Maintenance System: the REMAFEX way of Working, Proceedings of ASI97 (ICIMSNOE EP HI-9251), Budapest, Hungary, July 14-17, 1997.
5. P. Lorenz, F. Beaudoin, M. Castello, Intelligent transmitters: need for interoperability and interchangeability, Proceedings of the International exhibition for sensors and systems, Nurnberg, Germany, October 1993.
6. IEC TC65/WG6 (PT1CD2), Function Blocks for Industrial Process Measurement and Control Systems, Part 1, May 27, 1997.
7. Hatley, D., Pirbhai, I., SA-RT, Strategies for real-time sytems specification, Dorset House Publishing, 1988.
8. Nijssen, G.M., Halpin, T.A., Conceptual Schema and Relational Database design, Prentice-Hall, Englewood Cliffs, NJ, 1989.
9. O. Seghrouchni, J.D. Decotignie, Formal model for a real- time distributed computer control system on field-bus, 2nd international conference on Industrial Automation, Vol. 1, Nancy, June 7-9, 1995, pp. 281-286.
10. J. Ferber, P. Carle, Actors and agents as reflective objects: a Mering IV perspective, IEEE Transcations on Systems 21 (6) (1991).
11. H. Van Brussel, P. Valckenaers, L. Bongaerts, J. Wyns, Architectural and system design issues in Holonic Manufacturing Systems, Proceedings of the 3th IFAC Workshop on Intelligent Systems (IMS '95), Bucharest, Romania, October 24-26, 1995.
12. T. Goranson, Enterprise Integration Capability Model, Brief report on Workshops 1 and 2, ICEIMT '97.
13. P. Lhoste, G. Morel, From discrete event behavioural modelling to intelligent actuation and measurement modelling, Proceedings of ICIMS-NOE conference (ASI '96) of Life Cycle Approaches to Production Systems, Toulouse, France, Juin 1996.
14. M. Combacau, M. Courvoisier, A hierarchical and modular structure for F.M.S. control and monitoring, Proceedings of the 1st IEEE International conference on A.I., Simulation and Planning in High Autonomy systems, Tucson (USA), March 26-27, 1990, pp. 80-88.
15. J.H. Christensen, Holonic architecture and standards directions, Proceedings of the 1st European conference on Holonic Manufacturing Systems, Hannover, Germany, December 1, 1994.
16. M.C. Paulk, How ISO 9001 compares with the CMM, IEEE Software, January 1995, pp. 74-83.
17. J.R. Abrial, The B Book: Assigning Programs to Meanings, Cambridge Univ. Press, 1996.
18. N. Brown, D. Méry, Environment for refining and developing concurrents programs, FME '93: Industrial Strenght Formal Methods, April 1993.
19. J.S. Ostroff, Formal methods for the specification and design of real-time safety critical systems, Journal of Systems and Software 18 (1) (1992) 33-60.
20. E. Bonnabeau, J.L. Desalge, A. Grumbach, Characterising emergence mechanism phenomena: a critical review, International Review of Systemic, Vol. 9, No. 3, ISSN 0980-1472, Dunod publishing, 1995.
21. F. Mayer, G. Morel, P. Lhoste, Towards manufacturing engineering based on semi-formal systemic engineering, Proceedings of the 14th international congress on Cybernetic, Namur, Belgium, August 21-25, 1995.
22. E. Neunrether, B. Iung, G. Morel, J.B. Leger, Engineering process modelling of an Intelligent Actuation and Measurement System: from users' needs definition to the implementation, Proceedings of IMS'97, Seoul, July 21-23, 1997, pp. 69-74.
23. J.F. Pétin, G. Morel, D. Méry, P. Lamboley, Process control engineering: contribution to a formal structuring framework with the B method, in: D. Bert (Ed.), Lecture Notes in Computer Science, Vol. 1393, B '98: Recent Advances in the Development and Use of the B method, Springer-Verlag, ISSN 0302-9743, pp. 198-209.