Formal Methods in Systems Engineering

از آنجایی که فناوری رایانه برای کنترل سیستم‌های حیاتی به میزان فزاینده‌ای مورد استفاده قرار می‌گیرد، بسیار مهم است که روش‌های توسعه و درک این سیستم‌ها به طور اساسی بهبود یابد. مبانی ریاضی و علمی که در حال حاضر مورد استفاده قرار می‌گیرند بسیار محدود هستند، به این معنی که صحت و پایایی آنها را نمی‌توان تا حد قابل قبولی تضمین کرد. مهندسی سیستم‌ها باید به یک رشته علمی کامل تبدیل شود و روش‌های رسمی، که با پایه‌های ریاضی محکم خود مشخص می‌شوند، نقشی حیاتی در دستیابی به این انتقال ایفا می‌کنند. این جلد بر اساس نتایج کارگاه آموزشی روش‌های رسمی (FM91) است که در درایمن، اسکاتلند، 24 تا 27 سپتامبر 1991 برگزار شد. سیستم های دیجیتال به طور سنتی، روش های رسمی جدا از رویکردهای مرسوم تر تکامل یافته اند و یکی از اهداف این کارگاه تأکید بر مزایای ادغام این دو حوزه بود. این کارگاه بر موضوعات تضمین کیفیت، روش‌های طراحی و تکنیک‌های مدل‌سازی ریاضی متمرکز بود. تاکید ویژه ای به کاربردهای ایمنی و امنیتی داده شد. از جمله مباحث مطرح شده در این جلد عبارتند از: روش رسمی چیست؟ تحقیق اجتماعی در مورد روشهای رسمی؛ روش های تضمین کیفیت فعلی و روش های رسمی؛ یک رویکرد عمل گرایانه برای اعتبارسنجی؛ ادغام روش ها در عمل؛ ترکیب توضیحات؛ و موضوعات در توسعه رسمی برنامه های بزرگ. روش‌های رسمی درمهندسی سیستم مروری بر بسیاری از رویکردهای اصلی روش‌های رسمی و مزایایی که می‌تواند از آنها حاصل شود، ارائه می‌کند. این مربوط به محققان دانشگاهی و صنعتی، شاغلین صنعتی و کارکنان دولتی است که علاقه مند به صدور گواهینامه هستند.

As computer technology is used to control critical systems to an increasing degree, it is vital that the methods for developing and understanding these systems are substantially improved. The mathematical and scientific foundations currently used are extremely limited which means that their correctness and reliability cannot be ensured to an acceptable level. Systems engineering needs to become a fully fledged scientific discipline and formal methods, which are characterised by their firm mathematical foundations, are playing a vital role in achieving this transition. This volume is based on the proceedings of the Formal Methods Workshop (FM91), held in Drymen, Scotland, 24-27 September 1991. This was the second workshop sponsored by the Canadian and US governments to address the role of formal methods in the development of digital systems. Traditionally, formal methods have evolved in isolation from more conventional approaches, and one of the aims of this workshop was to emphasise the benefits of integrating the two areas. The workshop concentrated on the themes of quality assurance, design methods and mathematical modelling techniques. Particular emphasis was given to safety and security applications. Among the topics covered in this volume are: what is a formal method?; social research on formal methods; current quality assurance methods and formal methods; a pragmatic approach to validation; integrating methods in practice; composition of descriptions; and topics in large program formal development. Formal Methods in Systems Engineering provides an overview of many of the major approaches to formal methods and the benefits which can result from them. It is relevant to academic and industrial researchers, industrial practitioners and government workers with an interest in certification.