| Description |
1 online resource (xviii, 194 pages) : illustrations (some color) |
| 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 |
| Summary |
This book describes a novel approach for the design of embedded systems and industrial automation systems, using a unified model-driven approach that is applicable in both domains.℗ The authors illustrate their methodology, using the IEC 61499 standard as the main vehicle for specification, verification, static timing analysis and automated code synthesis.℗ The well-known synchronous approach is used as the main vehicle for defining an unambiguous semantics that ensures determinism and deadlock freedom. The proposed approach also ensures very efficient implementations either on small-scale em |
| Analysis |
engineering |
|
circuits |
|
procesarchitectuur |
|
process architecture |
|
Engineering (General) |
|
Techniek (algemeen) |
| Bibliography |
Includes bibliographical references and index |
| Notes |
Online resource; title from PDF title page (SpringerLink, viewed December 29, 2014) |
| Subject |
Embedded computer systems -- Design
|
|
Automatic control.
|
|
UML (Computer science)
|
|
Computer architecture & logic design.
|
|
Circuits & components.
|
|
COMPUTERS -- Computer Literacy.
|
|
COMPUTERS -- Computer Science.
|
|
COMPUTERS -- Data Processing.
|
|
COMPUTERS -- Hardware -- General.
|
|
COMPUTERS -- Information Technology.
|
|
COMPUTERS -- Machine Theory.
|
|
COMPUTERS -- Reference.
|
|
UML (Computer science)
|
|
Automatic control
|
| Form |
Electronic book
|
| Author |
Yoong, Li Hsien, author
|
|
Roop, Partha S., author
|
|
Bhatti, Zeeshan E., author
|
|
Kuo, Matthew M. Y., author
|
| ISBN |
9783319105215 |
|
3319105213 |
|
