Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings

این جلد شامل مشارکت‌های ارائه شده در کارگاه بین‌المللی روندهای فعلی در روش‌های رسمی کاربردی است که در 7 تا 9 اکتبر 1998 در بوپارد، آلمان برگزار شد. هدف اصلی این کارگاه ترسیم نقشه ای از مسائل کلیدی پیش روی کاربرد عملی روش های رسمی در صنعت بود. به نظر می رسد که این امر به ویژه در شرایطی که مسائل ایمنی و امنیتی به یک مانع واقعی برای توسعه نرم افزار و سخت افزار صنعتی تبدیل شده است، به موقع است. در نتیجه، تقریباً همه شرکت های بزرگ اکنون بخش ها یا گروه هایی را برای کار با روش های رسمی ایجاد کرده اند و بسیاری از کشورهای اروپایی با کمبود شدید نیروی کار در این زمینه جدید مواجه هستند. پیش‌بینی تونی هور از تبدیل شدن هنر توسعه نرم‌افزار (و سخت‌افزار) به یک علم مهندسی مناسب با مجموعه ابزارها و تکنیک‌های خاص خود، اکنون به واقعیت تبدیل شده است. بنابراین تمرکز این کارگاه کاربردی گرا چندان بر موضوعات خاص دانشگاهی نبود، بلکه بیشتر بر جنبه های عملی این فناوری جدید نوظهور بود: تأیید و اعتبار سنجی، و پشتیبانی ابزار و ادغام در چرخه عمر نرم افزار. با ارزیابی وضعیت هنر با توجه به کاربردهای صنعتی، بحثی بین دانشمندان، مهندسان شاغل، و اعضای سازمان‌های نظارتی و تأمین مالی در مورد نیازها و پیشرفت‌های آتی پدید آمد. این بحث منجر به نقشه‌های راه با توجه به آینده این حوزه، پشتیبانی ابزار و حوزه‌های کاربردی بالقوه و بخش‌های بازار امیدوارکننده می‌شود. کمک های شرکت کنندگان از صنعت و همچنین از دفاتر امنیت ملی مربوطه بسیار ارزشمند و بسیار قدردانی شد.

This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the workshop was to draw a map of the key issues facing the practical application of formal methods in industry. This appears to be particularly timely with safety and security issues becoming a real obstacle to industrial software and hardware development. As a consequence, almost all major companies have now set up departments or groups to work with formal methods and many European countries face a severe labour shortage in this new field. Tony Hoare's prediction of the art of software (and hardware) development becoming a proper engineering science with its own body of tools and techniques is now becoming a reality. So the focus of this application oriented workshop was not so much on spe­ cial academic topics but rather on the many practical aspects of this emerging new technology: verification and validation, and tool support and integration into the software life-cycle. By evaluating the state of the art with respect to industrial applications a discussion emerged among scientists, practising engi­ neers, and members of regulatory and funding agencies about future needs and developments. This discussion lead to roadmaps with respect to the future of this field, to tool support, and potential application areas and promising market segments. The contributions of the participants from industry as well as from the respective national security bureaus were particularly valuable and highly appreciated.