کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6875206 1441588 2018 18 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Architecture-level configuration of industrial control systems: Foundations for an efficient approach
ترجمه فارسی عنوان
پیکربندی سطح معماری سیستم های کنترل صنعتی: مبانی برای رویکرد کارآمد
ترجمه چکیده
پیکربندی یک مشکل تکراری در بسیاری از حوزه ها است. در یک کار قبلی، ما بر روی پیکربندی سطح معماری سیستم های نرم افزاری تعبیه شده در مقیاس بزرگ، به ویژه سیستم های کنترل صنعتی تمرکز کردیم و روش دیگری را پیشنهاد دادیم که مهندسان را قادر می سازد محصولات را با اکتشاف یک مدل معماری ارجاع داده شده، پیکربندی کنند. محصولات باید برخی از محدودیت های مشخص شده در مدل معماری مرجع را برآورده کنند. اگر نه، مهندسان مجبور هستند تصمیمات پیکربندی خود را بازسازی کنند تا یک محصول پیکربندی شده را بازسازی کنند که محدودیت ها را برآورده کند. تصمیمات پیکربندی مجدد باعث می شود که روند پیکربندی بسیار کند شود. در این مقاله، ما کار قبلی خود را بهبود میبخشد و پیشنهاد می کنیم یک مکانیزم پیکربندی رایگان است. به طور خاص، ما یک الگوریتم پیشنهاد می کنیم که پارامترهای دستورالعمل تنظیم را محاسبه می کند که برای هر مدل معماری ارجاع بدون چرخه، یک پیکربندی سازگار بدون نیاز به عقب راندن انجام می دهد. ما مشخصات رسمی و مدارک خاتمه، صحت و کامل بودن الگوریتم ارائه می دهیم. ما اثربخشی رویکرد ما را با استفاده از یک مطالعه موردی صنعتی ساده نشان می دهیم. نتایج آزمایشات ما نشان می دهد که رویکرد سفارش ما بی شک در عمل بی نتیجه می شود. این زمان کلی تنظیم را کاهش می دهد با کاهش هر دو مقدار مورد نیاز و زمان لازم برای تکمیل یک تکرار پیکربندی. علاوه بر این، ما نشان می دهیم که دومی دارای رشد خطی با اندازه مشکل پیکربندی است.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Configuration is a recurring problem in many domains. In an earlier work, we focused on architecture-level configuration of large-scale embedded software systems, in particular industrial control systems, and proposed a methodology that enables engineers to configure products by instantiating a given reference architecture model. Products have to satisfy a number of constraints specified in the reference architecture model. If not, the engineers have to backtrack their configuration decisions to rebuild a configured product that satisfies the constraints. Backtracking configuration decisions makes the configuration process considerably slow. In this paper, we improve our earlier work and propose a backtrack-free configuration mechanism. Specifically, we propose an algorithm that computes an ordering over configuration parameters that, for any cycle-free reference architecture model, yields a consistent configuration without any need to backtrack. We provide formal specification and proofs of termination, correctness, and completeness of our algorithm. We demonstrate the effectiveness of our approach using a simplified industrial case study. Results of our experiments show that our ordering approach eliminates backtracking in practice. It reduces the overall configuration time by reducing both the required number of value assignments, and the time that it takes to complete one configuration iteration. Moreover, we show that the latter has a linear growth with the size of the configuration problem.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 160, 1 August 2018, Pages 30-47
نویسندگان
, ,