Industrial Dependability of Systems: A Coordinated Approach

Abstract The quality and dependability of products and of their automated production systems are obtained by the coordination of several experiences : the production system specialist, the control system specifier and the computer-based applications designer. In this context, the “Regional Council of Lorraine” is sponsoring a federative project which associates eight university research laboratories. The purpose of this paper is to present a part of these researches

[1]  Marie Luong.  Conception optimale de l'architecture d'un systeme d'instrumentation sous contraintes de diagnostic, de fiabilité et de disponibilité , 1996 .

[2]  José Ragot,et al.  Design of observers for descriptor systems affected by unknown inputs , 1996, Int. J. Syst. Sci..

[3]  Frédéric Kratz,et al.  Observers and redundancy equations generation for systems with unknown inputs , 1996 .

[4]  Jean-Pierre Thomesse,et al.  Time in distributed systems cooperation and communication models , 1995, Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems.

[5]  Nicolas Navet,et al.  Validation of distributed real time systems thanks to performance evaluation of their physical architecture , 1996 .

[6]  Didier Maquin,et al.  Observability of systems involving flow circulation , 1996 .

[7]  F. Simonot-Lion,et al.  VACANS-a tool for the validation of CAN-based applications , 1997, Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97.

[8]  P. Merlin,et al.  Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.

[9]  C. Zanne,et al.  Design and implementation of the control of a cycloconverter supplying an induction machine , 1996, Proceeding of the 1996 IEEE International Conference on Control Applications IEEE International Conference on Control Applications held together with IEEE International Symposium on Intelligent Contro.

[10]  Marcel Staroswiecki,et al.  Dependable Distributed Computer Control Systems: Analysis of the Design Step Activities , 1995 .

[11]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..