Software Engineering for Collective Autonomic Systems: The ASCENS Approach

یک سیستم خودمختار جمعی شامل موجودیت‌های خودمختار مشترکی است که می‌توانند در زمان اجرا سازگار شوند، با وضعیت محیط سازگار شوند و دانش جدید را در رفتار خود بگنجانند. این سیستم های بسیار پویا به عنوان مجموعه نیز شناخته می شوند. برای اطمینان از رفتار صحیح گروه ها، لازم است از توسعه آنها از طریق روش ها و ابزارهای مناسب حمایت شود که می تواند تضمین کند که یک سیستم خودمختار به هدف مورد نظر خود عمل می کند. این شامل رعایت محدودیت های مهم محیط است. این بررسی پیشرفته به مهندسی چنین سیستم هایی با ارائه روش ها، ابزارها و نظریه های توسعه یافته در پروژه ASCENS می پردازد. ASCENS یک پروژه یکپارچه بود که در دوره 2010-2015 توسط هفتمین برنامه چارچوب (FP7) کمیسیون اروپا به عنوان بخشی از ابتکار پیشگیرانه فناوری های نوظهور آینده (FET Proactive) تأمین مالی شد. 17 مشارکت ارائه شده در این کتاب در چهار بخش مربوط به حوزه های تحقیقاتی پروژه و کاربردهای مشخص آنها سازماندهی شده است: (I) زبان و تأیید برای خودآگاهی و بیان خود، (II) مدل سازی و نظریه خودآگاهی. و سیستم‌های تطبیقی، (III) تکنیک‌های مهندسی برای سیستم‌های خودمختار جمعی، و آخرین اما نه کم‌اهمیت، (IV) چالش‌ها و بازخورد ارائه‌شده توسط مطالعات موردی پروژه در زمینه‌های رباتیک ازدحامی، محاسبات ابری و تحرک الکترونیکی. p>

A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and incorporating new knowledge into their behavior. These highly dynamic systems are also known as ensembles. To ensure correct behavior of ensembles it is necessary to support their development through appropriate methods and tools which can guarantee that an autonomic system lives up to its intended purpose; this includes respecting important constraints of the environment. This State-of-the-Art Survey addresses the engineering of such systems by presenting the methods, tools and theories developed within the ASCENS project. ASCENS was an integrated project funded in the period 2010-2015 by the 7th Framework Programme (FP7) of the European Commission as part of the Future Emerging Technologies Proactive Initiative (FET Proactive). The 17 contributions included in this book are organized in four parts corresponding to the research areas of the project and their concrete applications: (I) language and verification for self-awareness and self-expression, (II) modeling and theory of self-aware and adaptive systems, (III) engineering techniques for collective autonomic systems, and last but not least, (IV) challenges and feedback provided by the case studies of the project in the areas of swarm robotics, cloud computing and e-mobility.