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

• Κύριοι συγγραφείς: Yoong, Li Hsien (Συγγραφέας), Roop, Partha S. (Συγγραφέας), Bhatti, Zeeshan E. (Συγγραφέας), Kuo, Matthew M. Y. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Θέματα: 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...

Πίνακας περιεχομένων:

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