Functional and temporal formal modelling of embedded controllers for intelligent mechatronic systems

International Journal of Mechatronics and Manufacturing Systems

Volumn 2, Issue 1-2, 2009, Pages 215-235

  Sünder, Christoph ^a   Vyatkin, Valeriy ^b  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

formal description; net condition event systems; functional specification; intelligent mechatronic components; temporal specification

Indexed keywords

EID: 66149190829     PISSN: 17531039     EISSN: 17531047     Source Type: Journal    
DOI: 10.1504/IJMMS.2009.024357     Document Type: Article

References (33)

1. Bouyssounouse, B. and Sifakis, J. (Eds.) (2005) Embedded Systems Design: The ARTIST Roadmap for Research and Development, Lecture Notes in Computer Science (LNCS 3436), Springer-Verlag, Berlin/Heidelberg, ISBN 978-3-540-25107-25111
2. Čengić, G., Ljungkrantz, O. and Akesson, K. (2006) 'Formal modeling of function block applications running in IEC 61499 execution runtime', Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'06), Prague, Czech Republic, September, pp.1269-1276.
3. Clarke, E.M., Grumberg, O. and Peled, D.A. (1999) Model Checking, The MIT Press, Cambridge MA, USA, ISBN 0-262-03270-8.
4. Cofer, D.D. and Rangarajan, M. (2003) 'Event-triggered environments for verification of real-time systems', Proceedings of 35th Winter Simulation Conference (WSC'03), December, New Orleans LA, USA, pp.915-922.
5. Corbett, J.C. (1996) 'Timing analysis of Ada tasking programs', IEEE Transactions on Software Engineering, Vol.22, No. 7, July, pp.461-483. (Pubitemid 126772782)
6. 4DIAC (2008) Framework for Distributed Industrial Automation and Control, Profactor Produktionsforschungs GmbH, Online available: http://www.fordiac.org, March.
7. Dubinin, V. and Vyatkin, V. (2006) 'Towards a formal semantic of IEC61499 function blocks', Proceedings of the Fourth IEEE International Conference on Industrial Informatics (INDIN'06), Singapore, July, pp.6-11.
8. Gomes, L. and Barros, J.P. (2005) 'Structuring and composability issues in Petri nets modelling', IEEE Trans. on Industrial Informatics, Vol.1, No. 2, pp.112-123.
9. Hanisch, H.M. (2004) 'Closed-loop modeling and related problems of embedded control systems in engineering, lecture notes on computer science (LNCS 3052), Proceedings of 11th Int. Workshop on Abstract State Machines (ASM'04), Springer-Verlag, Berlin Heidelberg, Lutherstadt Wittenberg, Germany, May, pp.6-19.
10. Hanisch, H.M., Lobov, A., Martinez Lastra, J.L., Tuokko, R. and Vyatkin, V. (2006) 'Formal validation of intelligent-automated production systems: towards industrial applications', International Journal on Manufacturing Technology and Management (IJMTM), Inderscience Enterprise Ltd., Vol.8, Nos. 1-3, pp.75-106, ISSN 1368-2148.
11. IEC 61499-1 (2005) Function Blocks - Part 1: Architecture, 1st ed., International Standard, International Electrotechnical Commission, Geneva.
12. Khalgui, M., Rebeuf, X. and Simonot-Lion, F. (2004) 'A behaviour model for IEC 61499 function blocks', Proceedings of Third Workshop on Modelling of Objects, Components, and Agents, Aarhus, Denmark, October, pp.71-88.
13. Kopetz, H. (1997) Real-Time Systems: Design Principles of Distributed Embedded Applications, Kluwer Academic Publisher, Boston, ISBN 0-7923-9894-9897
14. Koren, Y., Heisel, U., Jovane, F., Moriwaki, T., Pritschow, G., Ulsoy, G. and van Brussel, H. (1999) 'Reconfigurable manufacturing systems', Annals of the CIRP, Vol.48, No. 2, pp.527-540. (Pubitemid 30533754)
15. Krakora, J., Waszniowski, L., Pisa, P. and Hanzalek, Z. (2004) 'Timed automata approach to real time distributed system verification', Proceedings of Fifth IEEE International Workshop on Factory Communication Systems (WFCS'04), Vienna, Austria, September, pp.407-410.
16. Machado, J.M., Denis, B., Lesage, J.J., Faure, J.M. and Ferreira da Silva, J.C.L. (2003) 'Increasing the efficiency of PLC program verification using a plant model', Proceedings of Int. Conf. on Industrial Engineering and Production Management (IEPM'2003), Porto, Portugal, 10pp.
17. Massa, A.J. (2003) Embedded Software Development with eCosTM, Prentice-Hall Professional Technical Reference, Pearson Education, ISBN 0-13-035473-35482, Upper Saddle River, New Jersey, USA.
18. Pang, C. and Vyatkin, V. (2007) 'Towards formal verification of IEC61499: modelling of data and algorithms in NCES', Proceedings of the Fifth IEEE International Conference on Industrial Informatics (INDIN'07), Vienna, Austria, July, pp.879-884.
19. Petri, C.A. (1962) Kommunikation mit Automaten, PhD Thesis, University of Bonn (in German).
20. Phytec Messtechnik GmbH (2003) phyCORE-AT91M55800A, Hardware Manual L-618e-32003.
21. Rausch, M. and Hanisch, H.M. (1995) 'Net condition/event systems with multiple condition outputs', Proceedings of INRA/IEEE Symposium on Emerging Technologies and Factory Automation, Magdeburg, Germany, October, Vol.1, pp.592-600.
22. Strasser, T., Fessl, K., Hämmerle, A. and Ankerl, M. (2005) 'Rapid reconfiguration of machine-tools for holonic manufacturing systems', Proceedings of 16th IFAC World Congress, Prague, Czech Republic, July, p.6.
23. Sünder, C., Rofner, H., Vyatkin, V. and Favre-Bulle, B. (2007) 'Formal description of an IEC 61499 runtime environment with real-time constraints', Proceedings of the Fifth IEEE International Conference on Industrial Informatics (INDIN'07), Vienna, Austria, July, pp.1123-1129.
24. Sünder, C., Zoitl, A., Christensen, J.H., Vyatkin, V., Brennan, R.W., Valentini, A., Ferrarini, L., Strasser, T., Martinez-Lastra, J.L. and Auinger, F. (2006) 'Interoperability and useablity of IEC 61499', Proceedings of the Fourth IEEE International Conference on Industrial Informatics (INDIN'06), Singapore, July, pp.31-37.
25. Vyatkin, V. (2003) 'Intelligent mechatronic components: control system engineering using an open distributed architecture', Proceedings of Ninth IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'03), Lisbon, Portugal, September, pp.277-284.
26. Vyatkin, V. (2006) 'Execution semantics of function blocks based on the model of net condition/event systems', Proceedings of the Fourth IEEE International Conference on Industrial Informatics (INDIN'06), Singapour, July, pp.874-879.
27. Vyatkin, V. (2008) Block Design, Visual Framework for Verification of Function Blocks, Online available: http://www.fb61499.com/valid.html, March.
28. Vyatkin, V. and Hanisch, H.M. (1999) 'A modeling approach for verification of IEC1499 function blocks using net condition/event systems', Proceedings of the Seventh IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'99), Barcelona, Spain, September, pp.261-270.
29. Vyatkin, V. and Hanisch, H-M. (2005) 'Re-use in formal modelling and verification of distributed control systems', Proceedings of IEEE Int. Conference on Emerging Technologies and Factory Automation (ETFA'05), Catania, Italy, September.
30. Vyatkin, V., Christensen, J.H. and Martinez Lastra, J.L. (2005) 'OOONEIDA: an open, object-oriented knowledge economy for intelligent industrial automation', IEEE Transactions on Industrial Informatics, Vol.1, No. 1, pp.4-17.
31. Waszniowski, L. and Hanzalek, Z. (2003) 'Analysis of real time operating system based applications', Proceedings of First International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03), Marseille, France, September, pp.219-233. (Pubitemid 38716875)
32. Wurmus, H. (2002) CNET - Komponentenbasierter Entwurf Verteilter Steuerungssysteme Mit Petri-Netzen, PhD Thesis, University of Hannover (in German).
33. Zoitl, A., Grabmair, G., Smodic, R. and Strasser, T. (2007) 'An execution environment for real-time constrained control software based on IEC 61499', Proceedings of the Fifth IEEE International Conference on Industrial Informatics (INDIN'07), Vienna, Austria, July, pp.853-859.