Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems. 23–27 July 1989, Halifax, Canada

کارگاه 1989 در مورد ارزیابی روش‌های رسمی برای سیستم‌های رایانه‌ای قابل اعتماد (FM89} یک کارگاه دعوتی بود که نمایندگانی از حوزه‌های تحقیقاتی، تجاری و دولتی کانادا، بریتانیا و ایالات متحده را گرد هم آورد. کارگاه آموزشی در هالیفاکس، نوا اسکوشیا، کانادا، از 23 جولای تا 27 ژوئیه 1989 برگزار شد. این سند فعالیت ها، مشاهدات، توصیه ها و نتیجه گیری های حاصل از FM89 را گزارش می کند. ارزیابی نقش روش‌های رسمی در توسعه و پیاده‌سازی سیستم‌های حیاتی قابل اعتماد، نیاز به این ارزیابی بر اساس چهار مشاهدات است: 1. سیستم‌های بحرانی به طور فزاینده‌ای توسط سیستم‌های رایانه‌ای کنترل می‌شوند؛ 2. تکنیک‌های موجود برای توسعه، اطمینان و تأیید رایانه. سیستم های بحرانی مبتنی بر ناکافی هستند؛ 3. روش های رسمی پتانسیل ایفای همان نقشی را در توسعه سیستم های مبتنی بر کامپیوتر دارند که ریاضیات کاربردی برای سایر رشته های مهندسی انجام می دهد. و 4. روش‌های رسمی تأثیر محدودی بر توسعه سیستم‌های محاسباتی و فناوری‌های پشتیبان داشته است. · هدف این کارگاه تکمیل وظایف زیر بود: 1. ارزیابی مشکلات به تاخیر انداختن توسعه سیستم های حیاتی قابل اعتماد. 2. تعیین تأثیر (بالقوه) بکارگیری روشهای رسمی برای توسعه سیستمهای حیاتی قابل اعتماد. 3. تعیین تحقیق و توسعه مورد نیاز برای تسهیل کاربرد گسترده تر روش های رسمی. 4.

The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com­ puter Systems (FM89} was an invitational workshop that brought together repre­ sentatives from the research, commercial and governmental spheres of Canada, the United Kingdom, and the United States. The workshop was held in Halifax, Nova Scotia, Canada, from July 23 through July 27, 1989. This document reports the activities, observations, recommendations and conclusions resulting. from FM89. 1. 1 Purpose of Workshop The primary purpose for holding FM89 was to assess the role of formal methods in the development and fielding of trustworthy critical systems. The need for this assessment was predicated upon four observations: 1. Critical systems are increasingly being controlled by computer systems; 2. Existing techniques for developing, assuring and certifying computer-based critical systems are inadequate; 3. Formal methods have the potential for playing the same role in the devel­ opment of computer-based systems as applied mathematics does for other engineering disciplines; and 4. Formal methods have had limited impact on the development of comput- based systems and supporting technologies. · The goal of the workshop was to complete the following tasks: 1. Assess the problems retarding the development of trustworthy critical systems; 2. Determine the (potential) impact of applying formal methods techniques to the development of trustworthy critical systems; 3. Determine the research and development required to facilitate a broader ap­ plication of formal methods techniques; 4.