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

• Main Authors: Yoong, Li Hsien (Author), Roop, Partha S. (Author), Bhatti, Zeeshan E. (Author), Kuo, Matthew M. Y. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Subjects: Engineering.; Microprocessors.; Electronic circuits.; Circuits and Systems.; Processor Architectures.

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, verifica...

Table of Contents:

• Introduction
• IEC 61499 in a Nutshell
• Introduction to Synchronous Programming Using Esterel
• Formal Model for IEC 61499 Function Blocks
• Efficient Code Synthesis from Function Blocks
• Verification of Function Blocks
• Timing Analysis
• Case Studies.