Rigorous Development of Complex Fault-Tolerant Systems

بسیاری از سیستم‌های نرم‌افزاری عمدتاً به دلیل اندازه، ناهمگنی و توزیع آنها به سطحی از پیچیدگی رسیده‌اند که منجر به بروز خطاهایی می‌شود که به راحتی نمی‌توان آنها را در کد ردیابی کرد. برخی از این \"عیوب\" همچنین می‌توانند رفتار غیرمنتظره برنامه باشند که در نتیجه تعامل بین بخش‌های مختلف برنامه ظاهر می‌شوند. این معمولا به عنوان پیچیدگی شناخته می شود. روش ها، رویکردها، ابزارها و تکنیک های جدید برای مقابله با پیچیدگی روزافزون در سیستم های نرم افزاری مورد نیاز است. در میان آنها، تکنیک‌های تحمل خطا و روش‌های رسمی، با پشتیبانی ابزارهای مربوطه، راه‌حل‌های امیدوارکننده‌ای هستند. این کتاب مقالاتی را گرد هم آورده است که بر کاربرد تکنیک‌های طراحی دقیق برای توسعه سیستم‌های نرم‌افزاری مقاوم به خطا تمرکز دارد.

این جلد نتیجه کارگاه آموزشی REFT 2005 در زمینه مهندسی سخت‌گیرانه مقاوم در برابر خطا است. سیستم‌هایی که همراه با کنفرانس روش‌های رسمی 2005 در نیوکاسل آپون تاین، انگلستان، در ژوئیه 2005 برگزار شد. از نویسندگان بهترین مقالات کارگاهی خواسته شد تا کار خود را افزایش دهند و گسترش دهند و تعدادی از محققین معتبر که در این منطقه کار می‌کردند دعوت شدند. فصل ها از 19 مقاله داوری و تجدید نظر شده ارائه شده، 12 نسخه از کارگاه مجدد کار شده است. 9 تای آنها کاملا نو هستند. این کتاب با دو موضع تحریک‌آمیز متفاوت در مورد نقش زبان‌های برنامه‌نویسی کامل شده است.

Many software systems have reached a level of complication, mainly because of their size, heterogeneity and distribution, which results in faults appearing that cannot be traced back easily to the code. Some of these "faults" could also be unexpected program behavior that appears as a result of interactions between different parts of the program; this is commonly known as complexity. New methods, approaches, tools and techniques are needed to cope with the increasing complexity in software systems; amongst them, fault-tolerance techniques and formal methods, supported by the corresponding tools, are promising solutions. This book brings together papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems.

This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005. The authors of the best workshop papers were asked to enhance and expand their work and a number of well-established researchers working in the area contributed invited chapters. From the 19 refereed and revised papers presented, 12 are versions reworked from the workshop; 9 of them are totally new. The book is rounded off by two provocatively different position on the role of programming languages.