A component based approach for modeling and validation of an automated manufacturing system

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn 1, Issue , 2001, Pages 465-474

  Cavaliere, D ^a   Simonot Lion, F ^a   Song, Y Q ^a   Hembert, O ^a  

^a UNIVERSITÉ DE LORRAINE   (France)

Author keywords

Architecture description language; Modeling; Object oriented method; Simulation; UML

Indexed keywords

ARCHITECTURE DESCRIPTION LANGUAGE; AUTOMATED MANUFACTURING SYSTEM; UNIFIED MODELLING LANGUAGE;

COMPUTER SIMULATION; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; OPTIMIZATION; PROGRAMMABLE LOGIC CONTROLLERS;

FACTORY AUTOMATION;

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

References (24)

1. A framework for classyfing and comparing architecture description langages
2. Scheduling and communicating in MetaH
3. Draft, guide to the rapide 1.0
4. Specifying software connectors in SAM
5. A formal approach for architectural connection
6. Enterprise javabeans specifications v1.1
7. Action semantic for the UML: Request for proposal
8. Response to the OMG RFP for schedulability, performance, and time
9. Real time system modeling with UML: Currently status and some properties
10. Advanced methods and tools for precise UML: Visions for the future
11. Automatic generation of simulation models for the evaluation of performance and reliability of architectures specified in UML
12. SAIG v. 2
13. DAMeSI, Un outil pour la simulation et l'évaluation du système d'information de l'atelier de production
14. White paper on the profile mechanism v.1.0, analysis and design platform task force
15. Cahier des Charges du Démonstrateur des Technologies Objets appliquées aux Automatismes
16. AFG - Pilotage de Flux, Temps de Décision aux Points d'Identification