Abstract
In this paper we present a case study of component based automation system design using 1EC61499 accompanied by subsequent application of the formal modeling methods and the corresponding verification tools.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Function Blocks for Industrial Process Measurement and Control Systems. Publicly Available Specification, International Electrotechnical Commission, Tech. Comm. 65, Working group 6, Geneva, 1998.
R. Lewis: Modeling Control Systems using IEC 61499, IEE, London, 2001
M. Bonfe, C. Fantuzzi: Mechatronic Objects encapsulation in IEC 1131–3 Norm, Intl. Conf. on Control Applications, Anchorage, 2002
J.H. Christensen: Design patterns for system engineering with IEC 61459. Proc. Of Conference “Verteile Automatisierung” (Distributed Automation), pages 63–71, Magdeburg, Germany, 2000
S.Kowalewski, P.Herrmann, S.Engell, R.Huuk, H.Krumm, Y.Lakhnech, B.Lukoschus, and H.Treseler: Approaches to the formal verification of hybrid systems. Automatisierungstechnik, 2: 66–73, 2001.
Rausch, M., H.-M. Hanisch. Net condition/event systems with multiple condition outputs. In: Symposium on Emerging Technologies and Factory Automation, 1995. Vol.!., INRIA/IEEE. Paris, France. pp. 592–600.
Vyatkin V., Hanisch H.-M.: Verification of Distributed Control Systems in Intelligent Manufacturing,Journal of Intelligent Manufacturing, special issue on Internet Based modeling in Intelligent Manufacturing, to appear as No.1, 2003
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media New York
About this chapter
Cite this chapter
Vyatkin, V., Hanisch, HM. (2002). Component Design and Formal Validation of SFA Systems: A Case Study. In: Mařík, V., Camarinha-Matos, L.M., Afsarmanesh, H. (eds) Knowledge and Technology Integration in Production and Services. BASYS 2002. IFIP — The International Federation for Information Processing, vol 101. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35613-6_35
Download citation
DOI: https://doi.org/10.1007/978-0-387-35613-6_35
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5632-6
Online ISBN: 978-0-387-35613-6
eBook Packages: Springer Book Archive