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

این کتاب یک رویکرد جدید را برای طراحی سیستم‌های تعبیه‌شده و سیستم‌های اتوماسیون صنعتی، با استفاده از یک رویکرد مدل محور یکپارچه که در هر دو حوزه قابل اجرا است، توصیف می‌کند. نویسندگان روش خود را با استفاده از استاندارد IEC 61499 به عنوان وسیله اصلی برای مشخصات، تأیید، تجزیه و تحلیل زمان‌بندی استاتیک و سنتز کد خودکار نشان می‌دهند. رویکرد همگام شناخته شده به عنوان وسیله اصلی برای تعریف معنایی بدون ابهام استفاده می شود که جبرگرایی و آزادی بن بست را تضمین می کند. رویکرد پیشنهادی همچنین اجرای بسیار کارآمد را در دستگاه‌های تعبیه‌شده در مقیاس کوچک یا بر روی کنترل‌کننده‌های اتوماسیون قابل برنامه‌ریزی در مقیاس صنعتی (PAC) تضمین می‌کند. می توان از آن برای اجرای متمرکز و توزیع شده استفاده کرد. به طور قابل توجهی، روش پیشنهادی را می توان بدون نیاز به هیچ گونه پشتیبانی زمان اجرا مورد استفاده قرار داد. این رویکرد، برای اولین بار، شکاف بین سیستم‌های تعبیه‌شده و سیستم‌های اتوماسیون را محو می‌کند و می‌تواند در کاربردهای گسترده در سیستم‌های کنترل خودرو، رباتیک و صنعتی استفاده شود. چندین مثال واقع بینانه استفاده می شود تا به خوانندگان نشان دهد که چگونه روش شناسی می تواند آنها را قادر به کاهش زمان عرضه به بازار کند و در عین حال کیفیت طراحی و بهره وری را بهبود بخشد.

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 embedded devices or on industry-scale programmable automation controllers (PACs). It can be used for both centralized and distributed implementations. Significantly, the proposed approach can be used without the need for any run-time support. This approach, for the first time, blurs the gap between embedded systems and automation systems and can be applied in wide-ranging applications in automotive, robotics, and industrial control systems. Several realistic examples are used to demonstrate for readers how the methodology can enable them to reduce the time-to-market, while improving the design quality and productivity.