A Structured Approach to the Design and Simulation-based Testing of Factory Automation Systems (Contributo in atti di convegno)

Type
Label
  • A Structured Approach to the Design and Simulation-based Testing of Factory Automation Systems (Contributo in atti di convegno) (literal)
Anno
  • 2002-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1109/ISIE.2002.1026062 (literal)
Alternative label
  • Emanuele CARPANZANO and Andrea BALLARINO (2002)
    A Structured Approach to the Design and Simulation-based Testing of Factory Automation Systems
    in 2002 IEEE International Symposium on on Industrial Electronics, L'Aquila (ITALY), 8-11/07/2002
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Emanuele CARPANZANO and Andrea BALLARINO (literal)
Pagina inizio
  • 181 (literal)
Pagina fine
  • 186 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • Industrial Electronics, 2002. ISIE 2002. Proceedings of the 2002 IEEE International Symposium on on Industrial Electronics (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
  • 1 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 6 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • ITIA-CNR Istituto di Tecnologie Industriali e Automazione - Consiglio Nazionale delle Ricerche (literal)
Titolo
  • A Structured Approach to the Design and Simulation-based Testing of Factory Automation Systems (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 0-7803-7369-3 (literal)
Abstract
  • In order to face the more and more frequent market changes, reliable and flexible factory automation systems have to be developed or reconfigured with reduced times and costs. Therefore, innovative development methodologies for the structured design and testing of industrial supervision and control systems are mandatory. In the present work a development methodology is presented, which uses the formal reference model proposed by the IEC 61499 international standard to design the modules of a factory automation system. Moreover, a closed-loop simulation based testing method is presented to verify the different hierarchic levels of the designed automation system in a modular way, following a bottom-up approach. Such a technique is implemented in the Matlab environment, using its toolboxes Simulink and Stateflow. Through the adoption of formal models that exploit the concepts of modularity, encapsulation and abstraction, the description of complex systems is simplified and model reuse is enhanced. Furthermore, by means of a simulation based testing method correctness is verified before final implementation and reliability is improved. In the paper an application example is also presented, where the design and testing of the automation system of a manufacturing cell for a furniture factory by means of the proposed framework is illustrated. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Insieme di parole chiave di
data.CNR.it