skip to main content
research-article

Formal Verification of Downtimeless System Evolution in Embedded Automation Controllers

Published: 01 January 2013 Publication History

Abstract

This article presents a new formal approach to validation of on-the-fly modification of control software in automation systems. The concept of downtimeless system evolution (DSE) is introduced. The DSE is essentially based on the use of IEC 61499 system architecture and formal modeling and verification of the hardware and software of an automation device. The validation is performed by means of two complimentary techniques: analytic calculations and formal verification by model-checking.

References

[1]
4DIAC IDE. 2010. http://www.fordiac.org/.
[2]
Alcaraz-Mejía, M. and López-Mellado, E. 2006. Petri Net Model Reconfiguration of Discrete Manufacturing Systems. In Proceedings of the 12th IFAC Symposium on Information Control Problems in Manufacturing, vol. 1, 547--552.
[3]
Baier, T., Fritsche, J., Keintzel, G., Loy, D., Schranz, R., Steininger, H., Strasser, T., and Sünder, C. 2007. Future scenarios for application of downtimeless reconfiguration in industrial practice. In Proceedings of IEEE International Conference on Industrial Informatics (INDIN’07). 1129--1134.
[4]
Brennan, R. W., Zhang, X., Xu, Y., and Norrie, D. H. 2002. A reconfigurable concurrent function block model and its implementation in real-time Java. Integr. Comput.-Aid. Eng. 9, 3, 263--279.
[5]
Guler, M., Clements, S., Wills, L. M., Heck, B. S., and Vachtsevanos, G. J. 2003, Transition Management for Reconfigurable Hybrid Control Systems. IEEE Control Systems Magazine 23, 1, 2003, 36--49.
[6]
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. Int. J. Manuf. Tech. Manage. 8, 1--3, 75--106.
[7]
ICS TRIPLEX. 2011. ISaGRAF Workbench for IEC 61499/ 61131, v.5.1, http://www.icstriplex.com/.
[8]
IEC 61499-1 Function blocks---Part 1: Architecture, Int. Standard. International Electrotechnical Commission (IEC), 2005.
[9]
Kalita, D. and Khargonekar, P. P. 2002. Formal verification for analysis and design of logic controllers for reconfigurable manufacturing systems. IEEE Trans. Rob. Autom. 18, 4, 463--474.
[10]
Kovácsházy, T., Péceli, G., and Simon, G. 2001. Transients in reconfigurable signal processing channels. IEEE Trans. Instrum. Meas. 50, 4, 936--940.
[11]
Kramer, J. and Magee, J. 1985. Dynamic configuration for distributed systems. IEEE Trans. Softw. Eng. 11, 4, 424--436.
[12]
Lehmann, M. and Ramil, J. 2000. Software evolution in the age of component-based software engineering. IEEE Proc. Softw. 147, 6.
[13]
Li, J., Dai, X., and Meng, Z. 2005. Dynamic reconfiguration of Petri net logic controllers based on modified net rewriting systems. In Proceedings of the IEEE International Conference on Mechatronics and Automation. 592--567.
[14]
Mens, T., Wermelinger, M., Ducasse, S., Demeyer, S., Hirschfeld, R., and Jazayeri, M. 2005. Challenges in Software Evolution. In Proceedings of 8th IEEE International Workshop on Principles of Software Evolution. 13--22.
[15]
NxtControl GMBH. 2011. nxtControl - Next generation software for next generation customers. http://www.nxtcontrol.com/.
[16]
Pang, C. and Vyatkin, V. 2007. Formal modelling of IEC61499 systems following the Sequential Hypothesis. In Proceedings of the 5th IEEE International Conference on Industrial Informatics (INDIN’07). 879--884.
[17]
Park, E., Tilbury, D. M., and Khargonekar, P. P. 2001. A modeling and analysis methodology for modular logic controllers of machining systems using Petri net formalism. IEEE Trans. Syst. Man, Cybern. Part C: Appl. Rev. 31, 2, 168--188.
[18]
Rausch, M. and Hanisch, H.-M. 1995. Net condition/event systems with multiple condition outputs. In Proceedings of the INRA/IEEE Symposium on Emerging Technologies and Factory Automation, vol. 1. 592--600.
[19]
Rooker, M. N., Sünder, C., Strasser, T., Zoitl, A., Hummer, O., and Ebenhofer, G. 2007. Zero downtime reconfiguration of distributed automation systems: The eCEDAC approach. In Proceedings of 3rd International Conference on Industrial Applications of Holonic and Multi-Agent Systems. Lecture Notes in Computer Science 4659. Springer 326--337.
[20]
Sünder, C. 2008, Evaluation of downtimeless system evolution in automation and control systems. Ph.D. dissertation, Automation and Control Institute, Vienna University of Technology. http://aleph.ub.tuwien.ac.at/ALEPH.
[21]
Sünder, C. and Vyatkin, V. 2009. Functional and temporal formal modeling of embedded controllers for intelligent mechatronic systems. Intl. J. Mechatronics Manuf. Syst. 2, 1/2, 215--235.
[22]
Tešanović, A., Nadjm-Tehrani, S., and Hansson, J. 2005. Modular Verification of reconfigurable components. In Component-Based Software Development for Embedded Systems, Lecture Notes in Computer Science, vol. 3778, C. Atkinson et al. Eds. Springer, 59--81.
[23]
Vyatkin, V. 2007. IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design, 297. Instrumentation Society of America.
[24]
Vyatkin, V. 2009. Visual Verification Framework, Version 0.35a, http://www.ece.auckland.ac.nz/~vyatkin/vive/ViVe.zip.
[25]
Vyatkin, V. and Bouzon, G. 2008. Using visual specifications in verification of industrial automation controllers. EURASIP J. Embedded Syst. Article ID 251957.
[26]
Vyatkin, V. and Hanisch, H.-M. 2003. Verification of distributed control systems in intelligent manufacturing. J. Int. Manuf. 14, 1, 123--136.
[27]
Walsh, J. D., Bordeleau, F., and Selic, B. 2007. Domain analysis of dynamic system reconfiguration. Softw. Syst. Model. 6, 4, 355--380.
[28]
Zoitl, A. 2009. Real-Time Execution for IEC 61499, ISA.

Cited By

View all
  • (2024)Adaptive Industrial Control Systems via IEC 61499 and Runtime EnforcementACM Transactions on Autonomous and Adaptive Systems10.1145/369134519:4(1-31)Online publication date: 31-Aug-2024
  • (2024)Guided Evolution of IEC 61499 Applications2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA)10.1109/ETFA61755.2024.10711116(01-08)Online publication date: 10-Sep-2024
  • (2022)Rollback Sequences for Dynamic Reconfiguration of IEC 614992022 IEEE 20th International Conference on Industrial Informatics (INDIN)10.1109/INDIN51773.2022.9976148(81-86)Online publication date: 25-Jul-2022
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Embedded Computing Systems
ACM Transactions on Embedded Computing Systems  Volume 12, Issue 1
Special Issue on Modeling and Verification of Discrete Event Systems
January 2013
350 pages
ISSN:1539-9087
EISSN:1558-3465
DOI:10.1145/2406336
Issue’s Table of Contents
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Journal Family

Publication History

Published: 01 January 2013
Accepted: 01 January 2011
Received: 01 March 2010
Published in TECS Volume 12, Issue 1

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Automation and control systems
  2. IEC 61499
  3. NCES
  4. dynamic reconfiguration
  5. manufacturing automation
  6. model checking
  7. verification and validation

Qualifiers

  • Research-article
  • Research
  • Refereed

Funding Sources

  • εCEDAC project

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)2
  • Downloads (Last 6 weeks)0
Reflects downloads up to 19 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2024)Adaptive Industrial Control Systems via IEC 61499 and Runtime EnforcementACM Transactions on Autonomous and Adaptive Systems10.1145/369134519:4(1-31)Online publication date: 31-Aug-2024
  • (2024)Guided Evolution of IEC 61499 Applications2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA)10.1109/ETFA61755.2024.10711116(01-08)Online publication date: 10-Sep-2024
  • (2022)Rollback Sequences for Dynamic Reconfiguration of IEC 614992022 IEEE 20th International Conference on Industrial Informatics (INDIN)10.1109/INDIN51773.2022.9976148(81-86)Online publication date: 25-Jul-2022
  • (2022)Real-time Dynamic Reconfiguration for IEC 614992022 IEEE 5th International Conference on Industrial Cyber-Physical Systems (ICPS)10.1109/ICPS51978.2022.9816872(1-6)Online publication date: 24-May-2022
  • (2022)Towards Resilience by Self-Adaptation of Industrial Control Systems2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA)10.1109/ETFA52439.2022.9921597(1-8)Online publication date: 6-Sep-2022
  • (2021)Automated Dependency Resolution for Dynamic Reconfiguration of IEC 614992021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA )10.1109/ETFA45728.2021.9613156(1-8)Online publication date: 7-Sep-2021
  • (2019)Evolution of software in automated production systemsJournal of Systems and Software10.1016/j.jss.2015.08.026110:C(54-84)Online publication date: 3-Jan-2019
  • (2018)Hyperdimensional Computing in Industrial Systems: The Use-Case of Distributed Fault Isolation in a Power PlantIEEE Access10.1109/ACCESS.2018.28401286(30766-30777)Online publication date: 2018
  • (2018)Model-based training of manual procedures in automated production systemsMechatronics10.1016/j.mechatronics.2018.05.010Online publication date: Jun-2018
  • (2017)Safe dynamic reconfiguration through supervisory control in IEC 61499 compliant systems2017 IEEE 15th International Conference on Industrial Informatics (INDIN)10.1109/INDIN.2017.8104866(753-758)Online publication date: Jul-2017
  • Show More Cited By

View Options

Login options

Full Access

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media