Model-driven design using IEC 61499: A synchronous approach for embedded and automation systems

Model-Driven Design Using IEC 61499: A Synchronous Approach for Embedded and Automation Systems

Volumn , Issue , 2015, Pages 1-194

  Yoong, Li Hsien ^a   Roop, Partha S ^b   Bhatti, Zeeshan E ^b   Kuo, Matthew M Y ^b  

^a Invenco Group Ltd   (New Zealand)

^b UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; SEMANTICS; STANDARDS; SYSTEMS ANALYSIS;

DISTRIBUTED IMPLEMENTATION; EFFICIENT IMPLEMENTATION; INDUSTRIAL AUTOMATION SYSTEM; INDUSTRIAL CONTROL SYSTEMS; MODEL DRIVEN DESIGN; PROGRAMMABLE AUTOMATION CONTROLLERS; STATIC TIMING ANALYSIS; WIDE-RANGING APPLICATIONS;

EMBEDDED SYSTEMS;

EID: 84944060700     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-3-319-10521-5     Document Type: Book

References (151)

1. 4DIAC-RTE (FORTE): IEC 61499 Compliant Runtime Environment (2010) PROFACTOR Produktionsforschungs Gmb H. http://www. fordiac. org. Accessed 26 Aug 2014
2. Abadi M, Lamport L (1993) Composing Specifications. ACM Transactions on Programming Languages and Systems 15(1):73-132
3. Aho AV, Lam MS, Sethi R, Ullman JD (2007) Compilers: Principles, Techniques, and Tools. Addison Wesley, Boston
4. 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
5. Andalam S, Roop PS, Girault A (2011) Pruning Infeasible Paths for Tight Timing Analysis of Synchronous Programs. In: Design Automation and Test in Europe (DATE)
6. André C (2003) Semantics of S. S. M. I3S Laboratory, University of Nice, Sophia Antipolis
7. Armstrong J, Virding R, Wikström C, Williams M (1996) Concurrent Programming in ERLANG. Prentice Hall, New Jersey
8. Astah: UML and Modeling Tools (2014) Change Vision. http://astah. net. Accessed 26 Aug 2014
9. B-Control: A Fully IEC61499 Compliant Building Automation Solution (2014) B-Control Alliance. http://www. b-control. com. Accessed 26 Aug 2014
10. Balarin F, Chiodo M, Giusto P, Hsieh H, Jurecska A, Lavagno L, Sangiovanni-Vincentelli A, Sentovich EM, Suzuki K (1999) Synthesis of Software Programs for Embedded Control Applications. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 18(6):834-849
11. Barold S, Stroobandt R, Sinnaeve A (2010) Cardiac Pacemakers and Resynchronization Step by Step: An Illustrated Guide. Wiley
12. Bate I, Reutemann R (2005) Efficient Integration of Bimodal Branch Prediction and Pipeline Analysis. In: RTCSA '05: Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, pp 39-44
13. Benveniste A, Berry G (1991) The Synchronous Approach to Reactive and Real-Time Systems. Proceedings of the IEEE 79(9):1270-1282
14. 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
15. Berry G (1999) The Constructive Semantics of Pure Esterel (Draft Book). ftp://ftpsop. inria. fr/meije/esterel/papers/semantics. ps. gz
16. Berry G (2000) The Esterel v5 Language Primer, Version v5_91. Centre de Mathématiques Appliquées, Ecole des Mines, Sophia-Antipolis
17. Berry G (2003) The Effectiveness of Synchronous Languages for the Development of Safety-Critical Systems. White Paper
18. Berry G (2004) Programming and Verifying an Elevator in Esterel V7. Tech. rep., Esterel Technologies
19. 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
20. Berry G, Gonthier G (1992) The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation. Science of Computer Programming 19(2):87-152
21. Bertin V, et al (2001) Taxys = Esterel + Kronos-A tool for verifying real-time properties of embedded systems. In: IEEE Conference on Decision and Control
22. Bhatti ZE, Sinha R, Roop PS (2013) Unified Functional Safety Assessment of Industrial Automation Systems. Rapport de recherche RR-8357, INRIA. http://hal. inria. fr/hal-00858218
23. 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)
24. Blausencom staff (2014) Blausen Gallery 2014. Wikiversity Journal of Medicine. DOI 10. 15347/wjm/2014. 010, ISSN 20018762
25. Boldt M, Traulsen C, von Hanxleden R (2008) Worst Case Reaction Time Analysis of Concurrent Reactive Programs. Electronic Notes in Theoretical Computer Science 203(4): 65-79
26. Bosch L (2014) Raspberry Pi B+ Illustration. http://commons. wikimedia. org/wiki/File: Raspberry_Pi_B%2B_illustration. svg. Accessed 26 Aug 2014
27. Boussinot F, de Simone R (1996) The SL Synchronous Language. IEEE Transactions on Software Engineering 22(4):256-266
28. Buttazzo GC (2005) Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications Second Edition. Springer Science Business Media Inc.
29. Čengić G (2009) Function Block Execution Runtime (Fuber). http://fuber. sourceforge. net. Accessed 26 Aug 2014
30. Č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
31. Clarke EM, Grumberg O, Peled DA (1999) Model Checking. The MIT Press
32. Cleaveland R (1990) Tableau-Based Model Checking in the Propositional Mu-Calculus. Acta Informatica 27:725-747
33. Colin A, Puaut I (2000) Worst Case Execution Time Analysis for a Processor with Branch Prediction. Real-Time Systems 18(2/3):249-274
34. Cousot P (1996) Abstract Interpretation. ACM Computing Surveys (CSUR) 28(2):324-328
35. Devadas S, Ma HK, Newton A (1988) On the Verification of Sequential Machines at Differing Levels of Abstraction. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on 7(6):713-722
36. Distributing Station: Getting Started with MPS (2010) Festo Didactic. http://www. festo-didactic. com/my-en/learning-systems/mps-the-modular-production-system/stations/distributing-station-getting-started-with-mps. htm. Accessed 26 Aug 2014
37. Doukas G, Thramboulidis K (2009) A Real-Time Linux Based Framework for Model-Driven Engineering in Control and Automation. IEEE Transaction on Industrial Electronics
38. D'Silva V, Kroening D, Weissenbacher G (2008) A Survey of Automated Techniques for Formal Software Verification. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on 27(7):1165-1178
39. 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
40. Eikland K, Notebaert P (2014) lpsolve: Mixed Integer Linear Programming (MILP) Solver. http://sourceforge. net/projects/lpsolve/
41. Emerson EA, Halpern JY (1985) Decision Procedures and Expressiveness in the Temporal Logic of Branching Time. Journal of Computer and System Sciences 30(1):1-24
42. Function Block Development Kit (2008) Holobloc Inc. http://www. holobloc. com. Accessed 26 Aug 2014
43. OOONEIDA-FBench (2008) University of Auckland. http://oooneida-fbench. sourceforge. net. Accessed 26 Aug 2014
44. Ferdinand C, Wilhelm R (1999) Efficient and Precise Cache Behavior Prediction for Real-Time Systems. Real-Time Systems 17(2-3):131-181
45. 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
46. FREEDM: Future Renewable Electric Energy Delivery and Management Systems Center (2014) NSF FREEDM Systems Center. http://www. freedm. ncsu. edu. Accessed 26 Aug 2014
47. Frey G, Litz L (2000) Formal Methods in PLC Programming. In: Systems, Man, and Cybernetics, 2000 IEEE International Conference on, vol 4, pp 2431-2436
48. Greenfiled D (2013) How Embedded Systems are Changing Automation. http://www. automationworld. com/embedded-control/how-embedded-systems-are-changing-automation
49. Halbwachs N, Caspi P, Raymond P, Pilaud D (1991) The Synchronous Data Flow Programming Language LUSTRE. Proceedings of the IEEE 79(9):1305-1320
50. 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
51. Halbwachs N, Lagnier F, Raymond P (1994) Synchronous Observers and the Verification of Reactive Systems. In: Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology, pp 83-96
52. 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
53. Harel D, Naamad A (1996) The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology 5(4):293-333
54. Harel D, Pnueli A (1985) On the Development of Reactive Systems. In: Apt K (ed) Logics and Models of Concurrent Systems. Springer-Verlag, La Colle-sur-Loup, France, NATO ASI Series, Vol. F-13, pp 477-498
55. Heitmeyer CL, Labaw BG, Jeffords RD (1993) A Benchmark for Comparing Different Approaches for Specifying and Verifying Real-Time Systems. In: 10TH IEEE Workshop on Real-Time Operating Systems and Software
56. 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
57. Hoare CAR (1985) Communicating Sequential Processes. Prentice Hall International, New Jersey
58. Huizing C, Gerth R (1992) Semantics of Reactive Systems in Abstract Time. In: Proceedings of the Real-Time: Theory in Practice, REXWorkshop. Springer-Verlag, London, pp 291-314
59. International Electrotechnical Commission (2003) International Standard IEC 61131-3: Programmable Controllers-Part 3: Programming Languages. Geneva, 2nd edn
60. International Electrotechnical Commission (2005) International Standard IEC 61499-1: Function blocks-Part 1: Architecture. Geneva, 1st edn
61. International Electrotechnical Commission (2005) International Standard IEC 61499-2: Function blocks-Part 2: Software Tool Requirements. Geneva, 1st edn
62. International Electrotechnical Commission (2007) International Standard IEC 61508-1: Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems: Part 1-General Requirements. Geneva, 2nd edn
63. International Electrotechnical Commission (2007) International Standard IEC 61850: Communication Networks and Systems in Substations-Part 1: Introduction and Overview. Geneva, 2nd edn
64. International Electrotechnical Commission (2007) Technical Report IEC/TR 61158-1: Industrial Communication Networks-Fieldbus Specification-Part 1: Overview and Guidance for the IEC 61158 and IEC 61784 Series. Geneva, 2nd edn
65. International Organization for Standardization/International Electrotechnical Commission (1994) Information Technology-Open Systems Interconnection-Basic Reference Model-Conventions for the definition of OSI services
66. ISa GRAF (2008) ICS Triplex ISa GRAF Inc. http://www. isagraf. com. Accessed 26 Aug 2014
67. Jiang Z, Pajic M, Mangharam R (2012) Cyber-Physical Modeling of Implantable Cardiac Medical Devices. Proceedings of the IEEE 100(1):122-137
68. Johnson GW, Jennings R (2006) Lab VIEW Graphical Programming. McGraw-Hill, New York
69. Ju L, Huynh BK, Roychoudhury A, Chakraborty S (2008) Performance Debugging of Esterel Specifications. In: 6th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), ACM, Atlanta, pp 173-178
70. Kahn G (1974) The Semantics of a Simple Language for Parallel Programming. In: Proceedings of the IFIP Congress. North-Holland, Stockholm, pp 471-475
71. Kim S, Patel HD, Edwards SA (2009) Using a Model Checker to Determine Worst-Case Execution Time. Computer Science Technical Report CUCS-038-09, Columbia University
72. Kopetz H, Bauer G (2003) The Time-Triggered Architecture. Proceedings of the IEEE 91(1):112-126
73. Krasner GE, Pope ST (1988) A Cookbook for Using the Model-View Controller User Interface Paradigm in Smalltalk-80. Journal of Object-Oriented Programming 1(3):26-49
74. Kroening D, Clarke E (2009) The CBMC Homepage
75. Krstíc 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
76. Kuo MMY, Yoong LH, Andalam S, Roop P (2010) Determining the Worst-Case Reaction Time of IEC 61499 Function Blocks. In: 8th IEEE International Conference on Industrial Informatics (INDIN), pp 1104-1109
77. Lab VIEW System Design Software (2014) National Instruments Corporation. http://www. ni. com/labview/. Accessed 26 Aug 2014
78. Langenbach M, Thesing S, Heckmann R (2002) Pipeline Modeling for Timing Analysis. In: SAS '02: Proceedings of the 9th International Symposium on Static Analysis, pp 294-309
79. Lastra JLM, Godinho L, Lobov A, Tuokko R (2005) An IEC 61499 Application Generator for Scan-Based Industrial Controllers. In: 3rd IEEE International Conference on Industrial Informatics (INDIN), 80-85, Perth, Australia
80. Lednicki L, Carlson J, Sandström K (2013) Model Level Worst-Case Execution Time Analysis for IEC 61499. In: Proceedings of the 16th International ACM Sigsoft Symposium on Component-based Software Engineering, CBSE '13, pp 169-178
81. Lee EA, Seshia SA (2011) Introduction to Embedded Systems, A Cyber-Physical Systems Approach. http://Lee Seshia. org
82. Li Yt S, Malik S, Wolfe A (1996) Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software. In: In IEEE Real-Time Systems Symposium, pp 298-307
83. Malik A, Salcic Z, Roop PS, Girault A (2010) System J: A GALS Language for System Level Design. Computer Languages, Systems & Structures 36(4):317-344
84. Maraninchi F, Rémond Y (2001) Argos: An Automaton-Based Synchronous Language. Computer Languages 27(1-3):61-92
85. Micro Blaze Processor Reference Guide (2009) Xilinx. http://www. xilinx. com/support/documentation/sw_manuals/mb_ref_guide. pdf. Accessed 26 Aug 2014
86. Mitra T, Roychoudhury A, Li X (2002) Timing Analysis of Embedded Software for Speculative Processors. In: ISSS '02: Proceedings of the 15th International Symposium on System Synthesis, pp 126-131
87. Navet N, Song Y, Simonot-Lion F, Wilwert C (2005) Trends in Automotive Communication Systems. Proceedings of the IEEE 93(6):1204-1223
88. Nicholas K, Bhatti Z, Roop P (2012) Model-Driven Development of Industrial Embedded Systems: Challenges Faced and Lessons Learnt. In: Emerging Technologies Factory Automation (ETFA), 2012 IEEE 17th Conference on, pp 1-4. DOI 10. 1109/ETFA. 2012. 6489690
89. 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
90. Parnas DL (1977) Use of Abstract Interfaces in the Devlopment of Software for Embedded Computing Systems. Tech. Rep. 8047. Naval Research Lab, Washington DC
91. Patil S, Bhadra S, Vyatkin V (2011) Closed-Loop Formal Verification Framework with Nondeterminism, Configurable by Meta-Modelling. In: IECON 2011-37th Annual Conference on IEEE Industrial Electronics Society, IEEE, pp 3770-3775
92. Patil S, Bhadra S, Vyatkin V (2011) Closed-Loop Formal Verification Framework with Nondeterminism, Configurable by Meta-Modelling. In: IECON 2011-37th Annual Conference on IEEE Industrial Electronics Society, pp 3770-3775. DOI 10. 1109/IECON. 2011. 6119923
93. Peters D, Parnas DL (1994) Generating a Test Oracle from Program Documentation:Work in Progress. In: Proceedings of the 1994 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA '94, pp 58-65
94. Pixabay-Free Images (2014) Pixabay. http://pixabay. com. Accessed 31 Aug 2014
95. Plotkin GD (2004) A Structural Approach to Operational Semantics. Journal of Logic and Algebraic Programming 60-61(1):17-140
96. 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
97. PRETZel Research Group (2012) Blok IDE User Manual. The University of Auckland, Auckland, New Zealand
98. 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
99. Read LE (2008) I, Pencil. The Freeman 50th Anniversary Edition, Originally Published in Dec 1958 Edition of The Freeman
100. Ro JW (2013) Time-triggreed new zigbee. Master's thesis, Department of Electrical and Computer Engineering, The University of Auckland
101. Roop PS, Andalam S, von Hanxleden R, Yuan S, Traulsen C (2009) Tight WCRT Analysis of Synchronous C Programs. In: Proceedings of the International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES). ACM, Grenoble, pp 205-214
102. Roychoudhury A (2009) Embedded Systems and Software Validation. Morgan Kaufmann Publishers/Elsevier, Amsterdam; Boston
103. 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
104. Sangiovanni-Vincentelli A, Sgroi M, Lavagno L (2000) Formal Models for Communication-Based Design. In: Proceedings of the 11th International Conference on Concurrency Theory (CONCUR), Springer, Lecture Notes in Computer Science, pp 29-47
105. Santos AA, de Sousa M (2008) Framework for Management of Replicated IEC 61499 Applications. In: IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Hamburg, pp 200-206
106. SCADE Tools (2010) Esterel Technologies. http://www. esterel-technologies. com. Accessed 26 Aug 2014
107. Schmidt DC (2006) Model-Driven Engineering. Computer-IEEE Computer Society 39(2):25
108. Schnakenbourg C, Faure JM, Lesage JJ (2002) Towards IEC 61499 Function Block Diagrams Verification. In: IEEE International Conference on Systems, Man and Cybernetics, Hammamet
109. Schneider J, Ferdinand C (1999) Pipeline Behavior Prediction For Superscalar Processors by Abstract Interpretation. In: LCTES '99: Proceedings of the ACM SIGPLAN 1999 Workshop on Languages, Compilers, and Tools for Embedded Systems, pp 35-44
110. Shaw GD (2013) Reliable model-driven engineering using IEC 61499. Ph D thesis, Department of Electrical and Computer Engineering, The University of Auckland
111. Shaw GD (2013) Reliable model driven engineering using IEC61499. Ph D thesis, Department of Electrical and Computer Engineering, The University of Auckland. https://researchspace. auckland. ac. nz/handle/2292/20160
112. Shaw GD, Yoong LH, Roop PS, Salcic Z (2009) A New Tool-Kit for Designing Complex Material Handling Systems Using IEC 61499 Function Blocks. In: 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM), Moscow
113. Simulink: Simulation and Model-Based Design (2004) The Math Works Inc. http://www. mathworks. com. au/products/simulink/. Accessed 26 Aug 2014
114. Sinha R (2009) Automated techniques for formal verification of So Cs. Ph D thesis, The University of Auckland
115. Sinha R, Roop PS, Ranjitkar P (2013) Virtual Traffic Lights+. Transportation Research Record: Journal of the Transportation Research Board 2381(1):73-80
116. Sinha R, Roop PS, Ranjitkar P (2013) Virtual Traffic Lights+ (VTL+): A Robust, Practical, and Functionally-Safe Intelligent Transportation System. In: Transportation Research Board 92nd Annual Meeting, Transportation Research Board
117. Sorouri M, Vyatkin V, Xie S, Salcic Z (2013) Plug-and-play Design And Distributed Logic Control of Medical Devices Using IEC 61499 Function Blocks. International Journal of Biomechatronics and Biomedical Robotics 2(2):102-110
118. Standard for Information Technology-Portable Operating System Interface (posix): System. Interfaces (2004) IEEE. http://standards. ieee. org/develop/wg/POSIX. html. Accessed 26 Aug 2014
119. State-of-the-Art Mathematical Programming Solver (2014) Groubi Optimization. http://www. gurobi. com. Accessed 26 Aug 2014
120. 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
121. 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
122. 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
123. Sünder C, Vyatkin V, Zoitl A (2013) Formal verification of downtimeless system evolution in embedded automation controllers. ACM Transactions on Embedded Computing Systems 12(1):17:1-17:17. DOI 10. 1145/2406336. 2406353. http://doi. acm. org/10. 1145/2406336. 2406353
124. Target Heart Rates (2014) American Heart Association. http://www. heart. org/HEARTORG/Getting Healthy/Physical Activity/Target-Heart-Rates_UCM_434341_Article. jsp. Accessed 26 Aug 2014
125. Time Me: Time Predictable Solutions for Embedded and Industrial Control Systems (2014) Precision Timed Research Group (PRETzel). http://timeme. io. Accessed 26 Aug 2014
126. Tripakis S, Pinello C, Benveniste A, Sangiovanni-Vincentelli A, Caspi P, Natale MD (2008) Implementing Synchronous Models on Loosely Time Triggered Architectures. IEEE Transactions on Computers 57(10):1300-1314
127. Unified Modeling Language (2011) Object Management Group. http://www. uml. org. Accessed 26 Aug 2014
128. Vahid F, Givargis T (2002) Embedded System Design: A Unified Hardware/Software Introduction. Wiley, New York
129. Vyatkin V (2006) Execution Semantic of Function Blocks based on the Model of Net Condition/Event Systems. In: 4th IEEE International Conference on Industrial Informatics (INDIN), Singapore, pp 874-879
130. Vyatkin V (2013) Software Engineering in Industrial Automation: State of the Art Review. IEEE Transactions on Industrial Informatics 9(4)
131. Vyatkin V, Chouinard J (2008) On Comparisons of the ISa GRAF Implementation of IEC 61499 with FBDK and Other Implementations. In: 6th IEEE International Conference on Industrial Informatics (INDIN), Daejeon, pp 289-294
132. Vyatkin V, Dubinin V (2007) Sequential Axiomatic Model for Execution of Basic Function Blocks in IEC 61499. In: 5th IEEE International Conference on Industrial Informatics (INDIN), Vienna, pp 1183-1188
133. Wang JJ, Roop PS, Andalam S (2013) ILPc: A Novel Approach for Scalable Timing Analysis of Synchronous Programs. In: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES)
134. Wayman R (1987) OCCAM 2: An Overview from a Software Engineering Perspective. Microprocessors and Microsystems 11(8):413-422
135. 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
136. Wilhelm R (2004) Why AI + ILP is good for WCET, but MC is not, nor ILP alone. In: In Verification, Model Checking and Abstract Interpretation (VMCAI), LNCS 2937
137. Wilhelm R, Grund D (2014) Computation Takes Time, But How Much? Communications of the ACM 57(2):94-103
138. Wilhelm R, Engblom J, Ermedahl A, Holsti N, Thesing S, Whalley D, Bernat G, Ferdinand C, Heckmann R, Mitra T, et al (2008) The Worst-Case Execution-Time Problem: Overview of Methods and Survey of Tools. ACM Transactions on Embedded Computing Systems (TECS) 7(3):36
139. Wilhelm R, Grund D, Reineke J, Schlickling M, Pister M, Ferdinand C (2009) Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded Systems. Transactions on Computer-Aided Design of Integrated Circuits and Systems 28(7):966-978
140. 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)
141. Yoong L, Bhatti Z, Roop PS (2012) Combining IEC 61499 Model-Based Design with Component-Based Architecture for Robotics. In: Noda I, Ando N, Brugali D, Kuffner J (eds) Simulation, Modeling, and Programming for Autonomous Robots, Lecture Notes in Computer Science, vol 7628. Springer Berlin, Heidelberg, pp 349-360
142. Yoong LH (2005) Compiling Esterel for distributed execution. Master's thesis, Department of Electrical and Computer Engineering, University of Auckland
143. Yoong LH (2011) Modelling and synthesis of safety-critical software with IEC 61499. Ph D thesis, University of Auckland
144. Yoong LH, Roop PS (2010) Verifying IEC 61499 Function Block Using Esterel. IEEE Embedded Systems Letters 2(1):1-4
145. Yoong LH, Roop PS, Vyatkin V, Salcic Z (2007) Synchronous Execution of IEC 61499 Function Blocks Using Esterel. In: 5th IEEE International Conference on Industrial Informatics (INDIN), Vienna, pp 1189-1194
146. Yoong LH, Roop PS, Salcic Z (2009) Efficient Implementation of IEC 61499 Function Blocks. In: IEEE International Conference on Industrial Technology (ICIT), Gippsland
147. Yoong LH, Roop PS, Vyatkin V, Salcic Z (2009) A Synchronous Approach for IEC 61499. Function Block Implementation. IEEE Transactions on Computers 58(12):1599-1614
148. 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
149. Zhao Y (2014) A Model-Driven Approach for Designing Time-Critical Medical Devices. M. E. thesis, Electrical and Computer Engineering Department, University of Auckland
150. Zoitl A (2009) Real-Time Execution for IEC 61499. Research Triangle Park, NC: Instrumentation, Systems, and Automation Society
151. Zoitl A, Grabmair G, Auinger F, Sünder C (2005) Executing Real-time Constrained Control Applications Modelled in IEC 61499 with Respect to Dynamic Reconfiguration. In: 3rd IEEE International Conference on Industrial Informatics (INDIN), Perth, pp 62-67