Software Engineering for Resilient Systems: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

این کتاب مجموعه مقالات داوری هشتمین کارگاه بین‌المللی مهندسی نرم‌افزار برای سیستم‌های انعطاف‌پذیر، SERENE 2016، در گوتنبرگ، سوئد، در سپتامبر 2016 است. 10 مقاله ارائه‌شده با دقت بررسی و از 15 مورد ارسالی انتخاب شدند. آنها حوزه های زیر را پوشش می دهند: توسعه سیستم های انعطاف پذیر. فرآیندهای توسعه تدریجی برای سیستم های ارتجاعی؛ مهندسی مورد نیاز و مهندسی مجدد برای انعطاف پذیری؛ چارچوب ها، الگوها و معماری های نرم افزاری برای انعطاف پذیری؛ مهندسی سیستم های خودمختار خود ترمیم شونده؛ طراحی سیستم های قابل اعتماد و ایمن در برابر نفوذ؛ انعطاف پذیری در زمان اجرا (مکانیسم ها، استدلال و انطباق)؛ انعطاف پذیری و قابلیت اطمینان (تاب آوری در مقابل استحکام، قابل اعتماد در مقابل سیستم های تطبیقی)؛ تأیید، اعتبار سنجی و ارزیابی تاب آوری؛ مدل‌سازی و تحلیل مبتنی بر مدل ویژگی‌های تاب‌آوری؛ تکنیک های رسمی و نیمه رسمی برای تأیید و اعتبار سنجی؛ ارزیابی های تجربی سیستم های ارتجاعی. رویکردهای کمی برای تضمین تاب آوری؛ پیش بینی تاب آوری؛ مطالعات و کاربردهای بازیگران مطالعات تجربی در حوزه سیستم‌های تاب‌آور؛ روش‌های اتخاذ شده در زمینه‌های صنعتی؛ رایانش ابری و ارائه خدمات انعطاف پذیر؛ انعطاف پذیری برای سیستم های داده محور (به عنوان مثال، سازگاری و انعطاف پذیری مبتنی بر داده های بزرگ)؛ سیستم‌ها و زیرساخت‌های فیزیکی-سایبری انعطاف‌پذیر؛ جنبه های جهانی مهندسی تاب آوری: آموزش، آموزش و همکاری.

This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following areas: development of resilient systems; incremental development processes for resilient systems; requirements engineering and re-engineering for resilience; frameworks, patterns and software architectures for resilience; engineering of self-healing autonomic systems; design of trustworthy and intrusion-safe systems; resilience at run-time (mechanisms, reasoning and adaptation); resilience and dependability (resilience vs. robustness, dependable vs. adaptive systems); verification, validation and evaluation of resilience; modeling and model based analysis of resilience properties; formal and semi-formal techniques for verification and validation; experimental evaluations of resilient systems; quantitative approaches to ensuring resilience; resilience prediction; cast studies and applications; empirical studies in the domain of resilient systems; methodologies adopted in industrial contexts; cloud computing and resilient service provisioning; resilience for data-driven systems (e.g., big data-based adaption and resilience); resilient cyber-physical systems and infrastructures; global aspects of resilience engineering: education, training and cooperation.