Model-driven design using IEC 61499 : a synchronous approach for embedded and automation systems /: a synchronous approach for embedded and automation systems. ([2014])

• Record Type: Book
• Further Information: Note: Li Hsien Yoong, Partha S. Roop, Zeeshan E. Bhatti, Matthew M.Y. Kuo.
• Authors: Yoong, Li Hsien; Roop, Partha S; Bhatti, Zeeshan E; Kuo, Matthew M. Y
• 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.
• Publisher Details: Cham : Springer
• Publication Date: 2014
• Copyright Date: 2015
• Extent: 1 online resource (xviii, 194 pages), illustrations (some color)
• Subjects: 004.2/1; Engineering; Embedded computer systems -- Design; Automatic control; UML (Computer science); 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; Electrical & Computer Engineering; Engineering & Applied Sciences; Electrical Engineering; Computers -- Systems Architecture -- General; Computer architecture & logic design; Systems engineering; Computer science; Technology & Engineering -- Electronics -- Circuits -- General; Circuits & components; Electronic books
• Languages: English
• ISBNs: 9783319105215; 3319105213
• Related ISBNs: 9783319105208; 3319105205
• Notes: Note: Includes bibliographical references and index.; Note: Online resource; title from PDF title page (SpringerLink, viewed December 29, 2014).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.