NCES-based modelling and CTL-based verification of reconfigurable benchmark production systems

SIES'2008 - 3rd International Symposium on Industrial Embedded Systems

Volumn , Issue , 2008, Pages 1-10

  Khalgui, Mohamed ^a   Hanisch, Hans Michael ^a  

^a MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; INTEGRATED CIRCUITS;

INTERNATIONAL SYMPOSIUM; PRODUCTION SYSTEMS;

EMBEDDED SYSTEMS;

EID: 51549085218     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SIES.2008.4577674     Document Type: Conference Paper

References (21)

1. C. Angelov, K. Sierszecki, and N. Marian, "Design models for reusable and reconfigurable state machines," in L.T. Yang and All (Eds): EUC 2005, LNCS 3824, pp:152-163. International Federation for Information Processing., 2005.
2. M. N. Rooker, C. Sunder, T. Strasser, A. Zoitl, O. Hummer, and G. Ebenhofer, "Zero downtime reconfiguration of distributed automation systems : The εcedac approach," in Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems. Springer-Verlag, 2007.
3. Y. Al-Safi and V. Vyatkin, "An ontology-based reconfiguration agent for intelligent mechatronic systems," in Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems. Springer-Verlag, 2007.
4. R. W. Brennan, M. Fletcher, and D. H. Norrie, "A holonic approach to reconfiguring real-time distributed control systems," in Book: Multi-Agent Systems and Applications: MASA'01. Springer-Verlag, 2001.
5. I. S. IEC61499, "Industrial process measurements and control systems," in International Electrotechnical Commission (IEC) Committee Draft, 2004.
6. R. Lewis, "Modelling control systems using iec 61499," in Institution Of Engineering and Technology. UK, 2001.
7. V. Vyatkin, IEC61499 Function Blocks for Embedded and Distributed Control Systems Design, 2007.
8. V. Marik, V. Vyatkin, and A. C. (eds), Holonic and multi-agent systems in manufacturing, 2007.
9. V. Vyatkin and H.-M. Hanisch, "Verification of distributed control systems in intelligent manufacturing," in International Journal of Manufacturing Vol 14, N 1, pp. 123-136, 2003.
10. K. Thramboulidis, D. Perdikis, and S. Kantas, "Model driven development of distributed control applications," in The International Journal of Avanced Manufacturing Technology, Springer-Verlag.
11. S. Panjaitan and G. Frey, "Development process for distributed automation systems combining uml and iec 61499," in International Journal of Manufacturing Research. Vol 2, N 1, Inderscience Publishers, 2007.
12. M. Khalgui, X. Rebeuf, and F. Simonot-Lion, "A deployment method of component based applications on distributed industrial control systems," in European Jounal of Automated Systems, Vol.41, Num.6, 2007.
13. H.-M. Hanisch and V. Vyatkin, "Achieving reconfigurability of automation systems by using the new international standard iec 61499: a developer's view," in the book: The industrial information technology handbook, Richard Zurawski (ed), USA, CRC Press, p.661-680,, 2005.
14. M. Khalgui, X. Rebeuf, and F. Simonot-Lion, "A static scheduling generator for the deployment of a component based application," in the book: Object-oriented Modeling of Embedded Real-Time Systems, Heinz-Nixdorf Institute publisher, ISBN : 3-939350-10-9, Germany,, 2006.
15. M. Rausch and H.-M. Hanisch, "Net condition/event systems with multiple condition outputs," in Symposium on Emerging Technologies and Factory Automation. Vol.1, pp.592-600., 1995.
16. H.-M. Hanisch and A. Luder, "Modular modelling of closed-loop systems," in Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pp. 103-126,Germany,, 1999.
17. S. Roch, "Extended computation tree logic," in Proceedings of the CESP2000 Workshop, number 140in Informatik Berichte, pages225-234, Germany, 2000.
18. _, "Extended computation tree logic: Implementation and application," in Proceedings of the AWPN2000 Workshop, Germany, 2000.
19. R. Alur and T. A. Henzinger, "Logics and models of real-time: A survey," in Proceedings of Real-time: theory in practice, Volume 600 of Lecture Notes in Computer Science, Springer-Verlg, 1992.
20. Artist-Project, Roadmap : Component-based Design and Integration Platforms. www.artist-embedded.org, 2003.
21. M. Khalgui, A. Ballarino, and E. Carpanzano, "A fault injection-based approach for safety industrial control applications," in International Workshop on Manufacturing Modelling, Management and Control, MIM'07. Hungary., 2007.