INTEGRATION OF DEPENDABILITY IN THE CONCEPTION OF FMS

@inproceedings{Elkhattabi1992INTEGRATIONOD,
  title={INTEGRATION OF DEPENDABILITY IN THE CONCEPTION OF FMS},
  author={Samir Elkhattabi and Didier Corbeel and J.-C. Gentina},
  year={1992}
}
View via Publisher
10 Citations
Highly Influential Citations
1
Background Citations
2
Methods Citations
1

10 Citations

A method for hierarchical modeling of the command of flexible manufacturing systems

A hierarchical and modular approach which is oriented on the physical structure of FMS is proposed and its modularity makes the approach open for extensions concerning as well the production resources as the products.

Protocols and Failure Semantics in a Material-Driven Intelligent Manufacturing Systems

A series of protocols that increases the ability to automatically cope with failures in a computerized manufacturing system and a protocol with acknowledgment messages from an intelligent material transportation network is described.

Pragmatic approach for modular control synthesis and implementation

The paper highlights the difficulties of the modelling step and its great influence on the synthesis result itself, and demonstrates the feasibility of the synthesis approach through a successful implementation in conformance with the International Electrotechnical Commission 61131-3 standard.

Communication protocols and failure semantics in intelligent manufacturing systems

  • A. AdlemoS. Andreasson
  • Computer Science
    Proceedings of the 1994 IEEE International Conference on Robotics and Automation
  • 1994
A series of protocols is described that increases the ability to automatically cope with failures in a computerized manufacturing system by giving the subsystem stronger failure semantics.

Two Strategies for Improved Availability in Partitioned Computerized Systems

Esterel programming in FMS

A "synchronous approach" based on the ESTEREL language that makes specification, programming and verification easier for reactive real-time systems.

Tolerance evaluation of flexible manufacturing architectures

Within the framework of FMS dependability, this article aims to apply the concept of tolerance to flexible manufacturing architectures. This enables flexible architectures to be studied and the one…

Failure semantics in intelligent manufacturing systems

  • A. AdlemoS. Andreasson
  • Computer Science
    [1993] Proceedings IEEE International Conference on Robotics and Automation
  • 1993
The notion of failure semantics, or failure behavior, for computerized systems in general, and intelligent manufacturing systems in particular is discussed, and new aspects of Failure semantics that are relevant in Intelligent manufacturing systems are reported.

Improved availability in manufacturing systems through graceful degradation: case study of a machining cell

  • A. AdlemoS. Andreasson
  • Business
    Proceedings of 1995 IEEE International Conference on Robotics and Automation
  • 1995
The method, based on graceful degradation, makes use of the production levels to uphold the availability of the system during computer failures or data network failures.

Synchronous programming: introduction and application to industrial process control

  • C. AndréM. Péraldi
  • Computer Science
    1993 CompEuro Proceedings Computers in Design, Manufacturing, and Production
  • 1993
The synchronous approach to real time system programming is described and ongoing research on synchronous programming in industrial process control applications is reported.

References

SHOWING 1-8 OF 8 REFERENCES

De la modélisation à l'implantation automatisée de la commande hiérarchisée de cellules de production flexibles dans l'industrie manufacturière

Presentation d'une methodologie de mise en oeuvre de la commande hierarchisee de systemes flexibles de production discontinue, qui est exprimee en grafcet

Signal-A data flow-oriented language for signal processing

We present the language SIGNAL which is a data flow-oriented real-time, synchronous, side effect-free language suited to the expression and recovery of the parallelism in signal or image processing…

Squeak: a language for communicating with mice

The motivation, design and semantics of squeak are presented, and how squeak programs can be integrated into a graphics system written in a conventional language to implement large but regular user interfaces are discussed.

Vérification de réseaux d'automates finis par équivalences observationnelles : le système AUTO

Pour modeliser les systemes paralleles et communicants, on utilise les algebres de processus introduites par R. Milner permettant de donner la semantique de termes representant de tels systemes sous…

A relational model of data for large shared data banks

A model based on n-ary relations, a normal form for data base relations, and the concept of a universal data sublanguage are introduced and certain operations on relations are discussed and applied to the problems of redundancy and consistency in the user's model.

Modélisation et simulation interactive de cellules de production flexibles dans l'industrie manufacturière

Presentation d'un ensemble de modeles et d'outils homogenes adaptes a la description coherente de tous les aspects d'un systeme de production flexible. Mise en oeuvre au moyen d'un logiciel de…

Structuration de la partie procédurale du système de commande de cellules de production flexibles dans l'industrie manufacturière

Presentation d'un outil de structuration permettant de construire la partie procedurale de la commande des systemes flexibles de production discontinue. Cet outil genere un graphe de commande (reseau…

LUSTRE: a declarative language for real-time programming

This work describes its semantics by means of structural inference rules and shows how to use this semantics in order to generate efficient sequential code, namely, a finite state automaton which represents the control of the program.