Linked e-resources
Details
Table of Contents
Foreword; Preface; Acknowledgements; Contents; 1 Introduction; 1.1 Embedded and Automation Systems: Are They ReallyDifferent?; 1.2 Contributions that Harness This Convergence; 1.3 Current State; 1.4 The IEC 61499 Standard; 1.5 Preliminaries; 1.6 Formal Model for Function Block Systems; 1.7 Software Synthesis; 1.8 Abstract Communication Patterns; 1.9 Static Analysis; 1.10 Book Organization; 2 IEC 61499 in a Nutshell; 2.1 Distribution Station; 2.2 Basic Function Block; 2.2.1 A Function Block Interface; 2.2.2 Execution Control Chart; 2.2.3 Algorithms; 2.3 Composite Function Blocks
2.3.1 Type Specification2.4 Service Interface Function Blocks; 2.5 System, Devices and Resources; 2.5.1 Device Model; 2.5.2 Resource Model; 2.5.3 System Model; 2.5.4 Implementation of the Distribution Station; 2.6 Adapter Interfaces; 2.7 Execution Models for Function Blocks; 2.7.1 FBRT; 2.7.2 FORTE; 2.7.3 FUBER; 2.7.4 ISaGRAF; 2.7.5 Synchronous Execution; 2.8 Discussion; 3 Introduction to Synchronous Programming Using Esterel; 3.1 The Synchronous Programming Paradigm; 3.2 Syntax and Intuitive Semantics; 3.2.1 Derived Statements; 3.2.2 Examples
3.2.3 Encoding FSMs and Modularity Through Module Reuse3.3 Case Study: A Lift Controller; 3.3.1 Specification; 3.3.2 Design in Esterel; 3.3.2.1 The Use of Data and Interfaces; 3.3.2.2 The Simple Lift Module; 3.3.2.3 Causality and Data Handling; 3.4 Esterel Tutorial; 3.4.1 Design in Esterel; 3.4.1.1 Compilation and Simulation; 3.4.1.2 Your Task; 3.4.2 Second Variant of the Producer-Consumer; 3.4.2.1 Your Task; 3.4.3 Third Variant of the Producer-Consumer; 3.5 Synchronous Broadcast and Causality; 3.5.1 Your Task; 3.5.2 Reincarnation; 3.5.3 Your Task; 3.5.4 Data Handling for User-Defined Types
3.6 Discussion4 Formal Model for IEC 61499 Function Blocks; 4.1 Variations in Function Block Execution; 4.2 Synchronous Model for Function Blocks; 4.2.1 The Cruise Control Example; 4.3 Semantics of Synchronous Function Blocks; 4.3.1 Formal Semantics; 4.3.1.1 Base Statements; 4.3.1.2 Signal Emission; 4.3.1.3 Signal Test; 4.3.1.4 Data Assignment; 4.3.1.5 Data Test; 4.3.1.6 Sequential Statement; 4.3.1.7 Parallel Statement; 4.3.1.8 Loop; 4.3.1.9 Exception Declaration; 4.3.2 Definitions and Proofs; 4.4 Discussion; 5 Efficient Code Synthesis from Function Blocks
5.1 Revisiting Delayed Communication5.2 Effects on Scheduling Order and Communication; 5.3 Code Generation for Function Blocks; 5.4 Translating Basic Function Blocks; 5.5 Translating Composite Function Blocks; 5.5.1 Implementing Delayed Communication; 5.5.2 Implementing Instantaneous Communication; 5.6 Function Blocks in Distributed Systems; 5.7 Communications; 5.7.1 Connections and Channels; 5.7.2 Bounded Lossless and Lossy Channels; 5.8 IEC 61499 Communication Function Blocks; 5.8.1 Client-Server Communication Function Blocks; 5.8.2 Publish-Subscribe Communication Function Blocks
2.3.1 Type Specification2.4 Service Interface Function Blocks; 2.5 System, Devices and Resources; 2.5.1 Device Model; 2.5.2 Resource Model; 2.5.3 System Model; 2.5.4 Implementation of the Distribution Station; 2.6 Adapter Interfaces; 2.7 Execution Models for Function Blocks; 2.7.1 FBRT; 2.7.2 FORTE; 2.7.3 FUBER; 2.7.4 ISaGRAF; 2.7.5 Synchronous Execution; 2.8 Discussion; 3 Introduction to Synchronous Programming Using Esterel; 3.1 The Synchronous Programming Paradigm; 3.2 Syntax and Intuitive Semantics; 3.2.1 Derived Statements; 3.2.2 Examples
3.2.3 Encoding FSMs and Modularity Through Module Reuse3.3 Case Study: A Lift Controller; 3.3.1 Specification; 3.3.2 Design in Esterel; 3.3.2.1 The Use of Data and Interfaces; 3.3.2.2 The Simple Lift Module; 3.3.2.3 Causality and Data Handling; 3.4 Esterel Tutorial; 3.4.1 Design in Esterel; 3.4.1.1 Compilation and Simulation; 3.4.1.2 Your Task; 3.4.2 Second Variant of the Producer-Consumer; 3.4.2.1 Your Task; 3.4.3 Third Variant of the Producer-Consumer; 3.5 Synchronous Broadcast and Causality; 3.5.1 Your Task; 3.5.2 Reincarnation; 3.5.3 Your Task; 3.5.4 Data Handling for User-Defined Types
3.6 Discussion4 Formal Model for IEC 61499 Function Blocks; 4.1 Variations in Function Block Execution; 4.2 Synchronous Model for Function Blocks; 4.2.1 The Cruise Control Example; 4.3 Semantics of Synchronous Function Blocks; 4.3.1 Formal Semantics; 4.3.1.1 Base Statements; 4.3.1.2 Signal Emission; 4.3.1.3 Signal Test; 4.3.1.4 Data Assignment; 4.3.1.5 Data Test; 4.3.1.6 Sequential Statement; 4.3.1.7 Parallel Statement; 4.3.1.8 Loop; 4.3.1.9 Exception Declaration; 4.3.2 Definitions and Proofs; 4.4 Discussion; 5 Efficient Code Synthesis from Function Blocks
5.1 Revisiting Delayed Communication5.2 Effects on Scheduling Order and Communication; 5.3 Code Generation for Function Blocks; 5.4 Translating Basic Function Blocks; 5.5 Translating Composite Function Blocks; 5.5.1 Implementing Delayed Communication; 5.5.2 Implementing Instantaneous Communication; 5.6 Function Blocks in Distributed Systems; 5.7 Communications; 5.7.1 Connections and Channels; 5.7.2 Bounded Lossless and Lossy Channels; 5.8 IEC 61499 Communication Function Blocks; 5.8.1 Client-Server Communication Function Blocks; 5.8.2 Publish-Subscribe Communication Function Blocks