Dependable Computing for Critical Applications 2

این جلد شامل مقالات ارائه شده در دومین کنفرانس بین المللی کاری در مورد محاسبات قابل اعتماد برای کاربردهای حیاتی است که توسط گروه کاری IFIP lOA حمایت می شود و در توسان، آریزونا در 18 تا 20 فوریه 1991 برگزار شد. مطابق با اولین کنفرانس از این دست در این زمینه، که در دانشگاه کالیفرنیا برگزار شد، ما یک جلسه مهم در دانشگاه کالیفرنیا مانند سانتا بار89 برگزار شد. در کامپیوتر؟ به عبارت دقیق تر، جنبه های مختلفی از قابلیت اطمینان سیستم کامپیوتری را مورد توجه قرار داد، مفهومی گسترده که به عنوان قابل اعتماد بودن خدمات کامپیوتری تعریف می شود، به طوری که می توان به طور موجهی به این سرویس اتکا کرد. با توجه به اینکه این اصطلاح شامل ویژگی هایی مانند قابلیت اطمینان، در دسترس بودن، ایمنی و امنیت است، امیدواریم که این مقالات به ادغام بیشتر این ایده ها در زمینه کاربردهای حیاتی کمک کنند. این برنامه شامل 20 مقاله و سه جلسه پانل بود. مقالات از مجموع 61 مقاله ارسالی در جلسه کمیته برنامه در نوامبر 1990 در Ann Arbor، میشیگان انتخاب شدند. ما بسیار خوش شانس بودیم که طیف وسیعی از علایق را به نمایش گذاشتیم، با مقالاتی که در برنامه نهایی از هفت کشور مختلف به نمایندگی از کار در دانشگاه‌ها، شرکت‌ها و سازمان‌های دولتی ارائه می‌شد. این روند با کار سخت کمیته برنامه و کیفیت بررسی های ارائه شده توسط داوران خارجی بسیار تسهیل شد. علاوه بر ارائه مقاله، سه جلسه پانل برگزار شد یا برای بررسی جزئیات موضوعات خاص برگزار شد.

This volume contains the papers presented at the Second International Work­ ing Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group lOA and held in Tucson, Arizona on February 18-20, 1991. In keeping with the first such conference on this topic, which took place at the University of California, Santa Barbara in 1989, this meeting was like­ wise concerned with an important basic question: Can we rely on Computers? In more precise terms, it addressed various aspects of computer system de­ pendability, a broad concept defined as th'e trustworthiness of computer service such that reliance can justifiably be placed on this service. Given that this term includes attributes such as reliability, availability, safety, and security, it is our hope that these papers will contribute to further integration of these ideas in the context of critical applications. The program consisted of 20 papers and three panel sessions. The papers were selected from a total of 61 submissions at a November 1990 meeting of the Program Committee in Ann Arbor, Michigan. We were very fortunate to have a broad spectrum of interests represented, with papers in the final program coming from seven different countries, representing work at universities, corporations, and government agencies. The process was greatly facilitated by the diligent work of the Program Committee and the quality of reviews provided by outside referees. In addition to the paper presentations, there were three panel sessions or­ ganized to examine particular topics in detail.