Dependable Computing for Critical Applications 4

این جلد شامل مقالات ارائه شده در چهارمین کنفرانس کاری بین المللی FIP در مورد محاسبات قابل اعتماد برای کاربردهای حیاتی است که در سن دیگو، کالیفرنیا، در 4 تا 6 ژانویه 1994 برگزار شد. مطابق با سه کنفرانس قبلی که در اوت 1989 در سانتا باربارا برگزار شد. (ایالات متحده آمریکا)، در فوریه 1991 در توسان (ایالات متحده آمریکا)، و در سپتامبر 1992 در Mondello (ایتالیا)، کنفرانس با یک سوال اساسی مهم مرتبط بود: آیا می‌توانیم برای کاربردهای حیاتی به سیستم‌های کامپیوتری تکیه کنیم؟ این کنفرانس، مانند پیشینیان خود، به جنبه های مختلف قابلیت اطمینان پرداخت، یک اصطلاح گسترده به عنوان درجه اعتمادی که ممکن است به طور موجهی در قابلیت اطمینان، در دسترس بودن، ایمنی، امنیت و عملکرد یک سیستم قرار گیرد، تعریف می شود. به دلیل دامنه وسیع آن، هدف اصلی کمک به درک و یکپارچگی یکپارچه این مفاهیم بود. کمیته برنامه 21 مقاله را برای ارائه از مجموع 95 مقاله ارسالی در جلسه سپتامبر در منلو پارک، کالیفرنیا انتخاب کرد. برنامه حاصل طیف گسترده ای از علایق را با مقالاتی از دانشگاه ها، شرکت ها و سازمان های دولتی در هشت کشور نشان می دهد. روند انتخاب تا حد زیادی با کار مجدانه اعضای کمیته برنامه تسهیل شد که ما از این بابت بسیار سپاسگزاریم. به عنوان یک کنفرانس کاری، این برنامه برای ترویج تبادل نظر با بحث های گسترده طراحی شد. تمام جلسات مقاله با یک دوره 30 دقیقه ای بحث در مورد موضوعات تحت پوشش جلسه به پایان رسید. علاوه بر این، سه جلسه پانل سازماندهی شده است.

This volume contains the articles presented at the Fourth InternationallFIP Working Conference on Dependable Computing for Critical Applications held in San Diego, California, on January 4-6, 1994. In keeping with the previous three conferences held in August 1989 at Santa Barbara (USA), in February 1991 at Tucson (USA), and in September 1992 at Mondello (Italy), the conference was concerned with an important basic question: can we rely on computer systems for critical applications? This conference, like its predecessors, addressed various aspects of dependability, a broad term defined as the degree of trust that may justifiably be placed in a system's reliability, availability, safety, security and performance. Because of its broad scope, a main goal was to contribute to a unified understanding and integration of these concepts. The Program Committee selected 21 papers for presentation from a total of 95 submissions at a September meeting in Menlo Park, California. The resulting program represents a broad spectrum of interests, with papers from universities, corporations and government agencies in eight countries. The selection process was greatly facilitated by the diligent work of the program committee members, for which we are most grateful. As a Working Conference, the program was designed to promote the exchange of ideas by extensive discussions. All paper sessions ended with a 30 minute discussion period on the topics covered by the session. In addition, three panel sessions have been organizcd.