Skip to main content
SpringerLink
Log in
Book cover

Model-Driven Design Using IEC 61499 pp 1–16Cite as

Introduction

  • Chapter
  • First Online:

Abstract

This chapter provides an introduction to the domain of embedded systems and automation systems. We argue the need for rapid convergence between these two domains. We discuss commonalities and differences between these two domains followed by a motivation for the proposed approach expounded in this monograph. We then present the overview of the chapters in this book. This chapter is designed so as to provide an introduction for beginners in the domain of embedded systems and automation systems.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. 4DIAC-RTE (FORTE): IEC 61499 Compliant Runtime Environment (2010) PROFACTOR Produktionsforschungs GmbH. http://www.fordiac.org. Accessed 26 Aug 2014

  2. Alemzadeh H, Iyer RK, Kalbarczyk Z, Raman J (2013) Analysis of Safety-Critical Computer Failures in Medical Devices. Security & Privacy, IEEE 11(4):14–26

    Google Scholar 

  3. André C (2003) Semantics of S.S.M. I3S Laboratory, University of Nice, Sophia Antipolis

    Google Scholar 

  4. Armstrong J, Virding R, Wikström C, Williams M (1996) Concurrent Programming in ERLANG. Prentice Hall, New Jersey

    Google Scholar 

  5. Astah: UML and Modeling Tools (2014) Change Vision. http://astah.net. Accessed 26 Aug 2014

  6. B-Control: A Fully IEC61499 Compliant Building Automation Solution (2014) B-Control Alliance. http://www.b-control.com. Accessed 26 Aug 2014

  7. Benveniste A, Caspi P, Edwards SA, Halbwachs N, Guernic PL, de Simone R (2003) The Synchronous Languages 12 Years Later. Proceedings of the IEEE 91(1):64–83

    Article  Google Scholar 

  8. Berry G (2003) The Effectiveness of Synchronous Languages for the Development of Safety-Critical Systems. White Paper

    Google Scholar 

  9. Berry G (2007) Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems. Springer, Netherlands. chap SCADE: Synchronous Design and Validation of Embedded Control Software, pp 19–33

    Google Scholar 

  10. Berry G, Gonthier G (1992) The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation. Science of Computer Programming 19(2):87–152

    Article  MATH  Google Scholar 

  11. Black G, Vyatkin V (2010) Intelligent Component-Based Automation of Baggage Handling Systems with IEC 61499. IEEE Transactions on Automation Science and Engineering 7(2)

    Google Scholar 

  12. Blausencom staff (2014) Blausen Gallery 2014. Wikiversity Journal of Medicine. DOI 10.15347/wjm/2014.010, ISSN 20018762

    Google Scholar 

  13. Čengić G, Ljungkrantz O, Åkesson K (2006) Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime. In: 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Prague, pp 1269–1276

    Google Scholar 

  14. Clarke EM, Grumberg O, Peled DA (1999) Model Checking. The MIT Press

    Google Scholar 

  15. Dubinin V, Vyatkin V, Hanisch HM (2006) Modelling and Verification of IEC 61499 Applications using Prolog. In: 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Prague, pp 774–781

    Google Scholar 

  16. Function Block Development Kit (2008) Holobloc Inc. http://www.holobloc.com. Accessed 26 Aug 2014

  17. OOONEIDA–FBench (2008) University of Auckland. http://oooneida-fbench.sourceforge.net. Accessed 26 Aug 2014

  18. Ferrarini L, Veber C (2004) Implementation Approaches for the Execution Model of IEC 61499 Applications. In: 2nd IEEE International Conference on Industrial Informatics (INDIN), Berlin, pp 612–617

    Google Scholar 

  19. FREEDM: Future Renewable Electric Energy Delivery and Management Systems Center (2014) NSF FREEDM Systems Center. http://www.freedm.ncsu.edu. Accessed 26 Aug 2014

  20. Greenfiled D (2013) How Embedded Systems are Changing Automation. http://www.automationworld.com/embedded-control/how-embedded-systems-are-changing-automation

  21. Halbwachs N, Caspi P, Raymond P, Pilaud D (1991) The Synchronous Data Flow Programming Language Lustre. Proceedings of the IEEE 79(9):1305–1320

    Article  Google Scholar 

  22. Halbwachs N, Lagnier F, Raymond P (1993) Synchronous Observers and the Verification of Reactive Systems. In: Proceedings of the 3rd International Conference on Methodology and Software Technology. Springer-Verlag, London, pp 83–96

    Google Scholar 

  23. Hanisch HM, Hirsch M, Missal D, Preuße S, Gerber C (2009) One Decade of IEC 61499 Modeling and Verification-Results and Open Issues. In: Preprints of the 13th IFAC Symposium on Information Control Problems in Manufacturing

    Google Scholar 

  24. Harel D, Naamad A (1996) The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology 5(4):293–333

    Article  Google Scholar 

  25. Higgins N, Vyatkin V, Nair N, Schwarz K (2011) Distributed Power System Automation with IEC 61850, IEC 61499, and Intelligent Control. Systems, Man, and Cybernetics, Part C: Applications and Reviews, IEEE Transactions on 41(1):81–92

    Article  Google Scholar 

  26. International Electrotechnical Commission (2003) International Standard IEC 61131-3: Programmable Controllers – Part 3: Programming Languages. Geneva, 2nd edn

    Google Scholar 

  27. International Electrotechnical Commission (2005) International Standard IEC 61499-1: Function blocks – Part 1: Architecture. Geneva, 1st edn

    Google Scholar 

  28. International Electrotechnical Commission (2005) International Standard IEC 61499-2: Function blocks – Part 2: Software Tool Requirements. Geneva, 1st edn

    Google Scholar 

  29. International Electrotechnical Commission (2007) International Standard IEC 61850: Communication Networks and Systems in Substations – Part 1: Introduction and Overview. Geneva, 2nd edn

    Google Scholar 

  30. ISaGRAF (2008) ICS Triplex ISaGRAF Inc. http://www.isagraf.com. Accessed 26 Aug 2014

  31. Jiang Z, Pajic M, Mangharam R (2012) Cyber–Physical Modeling of Implantable Cardiac Medical Devices. Proceedings of the IEEE 100(1):122–137

    Article  Google Scholar 

  32. Johnson GW, Jennings R (2006) LabVIEW Graphical Programming. McGraw-Hill, New York

    Google Scholar 

  33. Kopetz H, Bauer G (2003) The Time-Triggered Architecture. Proceedings of the IEEE 91(1):112–126

    Article  Google Scholar 

  34. Krstić M, Grass E, Gürkaynak FK, Vivet P (2007) Globally Asynchronous Locally Synchronous Circuits: Overview and Outlook. IEEE Design & Test of Computers 24(5):430–441

    Article  Google Scholar 

  35. LabVIEW System Design Software (2014) National Instruments Corporation. http://www.ni.com/labview/. Accessed 26 Aug 2014

  36. Lee EA, Seshia SA (2011) Introduction to Embedded Systems, A Cyber-Physical Systems Approach. http://LeeSeshia.org

  37. Navet N, Song Y, Simonot-Lion F, Wilwert C (2005) Trends in Automotive Communication Systems. Proceedings of the IEEE 93(6):1204–1223

    Article  Google Scholar 

  38. Pang C, Vyatkin V (2008) Automatic Model Generation of IEC 61499 Function Block Using Net Condition/Event Systems. In: Industrial Informatics, 2008. INDIN 2008. 6th IEEE International Conference on, pp 1133 –1138

    Google Scholar 

  39. Parnas DL (1977) Use of Abstract Interfaces in the Devlopment of Software for Embedded Computing Systems. Tech. Rep. 8047. Naval Research Lab, Washington DC

    Google Scholar 

  40. Patil S, Bhadra S, Vyatkin V (2011) Closed-Loop Formal Verification Framework with Non-determinism, Configurable by Meta-Modelling. In: IECON 2011-37th Annual Conference on IEEE Industrial Electronics Society, IEEE, pp 3770–3775

    Google Scholar 

  41. Pixabay—Free Images (2014) Pixabay. http://pixabay.com. Accessed 31 Aug 2014

  42. Potop-Butucaru D, Caillaud B (2005) Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. In: 5th International Conference on Application of Concurrency to System Design (2005)ACSD 2005, St. Malo, pp 48–57

    Google Scholar 

  43. Rational Rose Family: A UML Visual Modeling and Application Development Solution (2014) IBM. http://www-03.ibm.com/software/products/en/ratirosefami. Accessed 26 Aug 2014

  44. Sangiovanni-Vincentelli A (2007) Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design. Proceedings of the IEEE 95(3):467–506

    Article  Google Scholar 

  45. SCADE Tools (2010) Esterel Technologies. http://www.esterel-technologies.com. Accessed 26 Aug 2014

  46. Schmidt DC (2006) Model-Driven Engineering. Computer-IEEE Computer Society 39(2):25

    Article  Google Scholar 

  47. Shaw GD (2013) Reliable model-driven engineering using IEC 61499. PhD thesis, Department of Electrical and Computer Engineering, The University of Auckland

    Google Scholar 

  48. Simulink: Simulation and Model-Based Design (2004) The MathWorks Inc. http://www.mathworks.com.au/products/simulink/. Accessed 26 Aug 2014

  49. Sinha R, Roop PS, Ranjitkar P (2013) Virtual Traffic Lights+. Transportation Research Record: Journal of the Transportation Research Board 2381(1):73–80

    Article  Google Scholar 

  50. Sünder C, Zoitl A, Christensen JH, Vyatkin V, Brennan RW, Valentini A, Ferrarini L, Strasser T, Martinez-Lastra JL, Auinger F (2006) Usability and Interoperability of IEC 61499 Based Distributed Automation Systems. In: 4th IEEE International Conference on Industrial Informatics (INDIN), Singapore, pp 31–37

    Google Scholar 

  51. Sünder C, Zoitl A, Christensen JH, Colla M,, Strasser T (2007) Execution Models for the IEC 61499 Elements Composite Function Block and Subapplication. In: 5th IEEE International Conference on Industrial Informatics (INDIN), Vienna, pp 1169–1175

    Google Scholar 

  52. Sünder C, Vyatkin V, Zoitl A (2013) Formal Verification Of Downtimeless System Evolution in Embedded Automation Controllers. ACM Transactions on Embedded Computing Systems (TECS) 12(1):17

    Article  Google Scholar 

  53. TimeMe: Time Predictable Solutions for Embedded and Industrial Control Systems (2014) Precision Timed Research Group (PRETzel). http://timeme.io. Accessed 26 Aug 2014

  54. Unified Modeling Language (2011) Object Management Group. http://www.uml.org. Accessed 26 Aug 2014

  55. Vahid F, Givargis T (2002) Embedded System Design: A Unified Hardware/Software Introduction. Wiley, New York

    Google Scholar 

  56. Vyatkin V (2013) Software Engineering in Industrial Automation: State of the Art Review. IEEE Transactions on Industrial Informatics 9(4)

    Google Scholar 

  57. Wayman R (1987) OCCAM 2: An Overview from a Software Engineering Perspective. Microprocessors and Microsystems 11(8):413–422

    Article  Google Scholar 

  58. What Went Wrong at Heathrow’s T5? (2008) BBC News. http://news.bbc.co.uk/2/hi/uk_news/7322453.stm. Accessed 26 Aug 2014

  59. Yip E, Kuo MMY, Roop PS, Broman D (2014) Relaxing the Synchronous Approach for Mixed-Criticality Systems. In: 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)

    Google Scholar 

  60. Yoong LH, Roop PS (2010) Verifying IEC 61499 Function Block Using Esterel. IEEE Embedded Systems Letters 2(1):1–4

    Article  Google Scholar 

  61. Yoong LH, Roop PS, Salcic Z (2012) Implementing Constrained Cyber-Physical Systems with IEC. ACM Transactions on Embedded Computing 11(4):78:1–78:22

    Google Scholar 

  62. Zoitl A (2009) Real-Time Execution for IEC 61499. Research Triangle Park, NC: Instrumentation, Systems, and Automation Society

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Invenco Group Ltd., Auckland, New Zealand

    Li Hsien Yoong

  2. Department of Electrical and Computer Engineering, The University of Auckland, Auckland, New Zealand

    Partha S. Roop, Zeeshan E. Bhatti & Matthew M. Y. Kuo

Authors
  1. Li Hsien Yoong
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Partha S. Roop
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Zeeshan E. Bhatti
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Matthew M. Y. Kuo
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Yoong, L.H., Roop, P.S., Bhatti, Z.E., Kuo, M.M.Y. (2015). Introduction. In: Model-Driven Design Using IEC 61499. Springer, Cham. https://doi.org/10.1007/978-3-319-10521-5_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-10521-5_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-10520-8

  • Online ISBN: 978-3-319-10521-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation