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

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

Full description

Bibliographic Details
Published in:Springer eBooks
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: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
Subjects:
Online Access:http://dx.doi.org/10.1007/978-3-319-10521-5
Перейти в каталог НБ ТГУ
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.