Dependable Computing for Critical Applications 3

این جلد شامل مقالات ارائه شده است. در سومین کنفرانس کاری بین‌المللی IFIP در مورد محاسبات قابل اعتماد برای کاربردهای حیاتی، که توسط گروه کاری IFIP 10.4 حمایت شد و در موندلو (سیسیل)، ایتالیا در 14 تا 16 سپتامبر 1992 برگزار شد. توسعه‌دهندگان سیستم به طور فزاینده‌ای از رایانه‌هایی استفاده می‌کنند که بتوانند بر ایمنی و امنیت تأثیر بگذارند. از افراد و تجهیزات سومین کنفرانس کاری بین‌المللی IFIP در مورد محاسبات قابل اعتماد برای کاربردهای حیاتی، مانند پیشینیان خود، به جنبه‌های مختلف قابلیت اطمینان سیستم کامپیوتری پرداخت، یک اصطلاح گسترده به عنوان درجه اعتمادی که ممکن است به طور موجهی به قابلیت اطمینان، در دسترس بودن، ایمنی، امنیت یک سیستم اعمال شود، تعریف می‌شود. و عملکرد. از آنجایی که دامنه کنفرانس بسیار گسترده بود، امیدواریم ارائه ها و بحث ها به ادغام این مفاهیم کمک کند تا سیستم های مبتنی بر رایانه آینده واقعاً قابل اعتمادتر باشند. کمیته برنامه 18 مقاله را برای ارائه از مجموع 74 مقاله ارسالی در جلسه ماه مه در نیوکاسل آپون تاین، انگلستان انتخاب کرد. برنامه حاصل طیف وسیعی از علایق را با مقالاتی از دانشگاه‌ها، شرکت‌ها و سازمان‌های دولتی در هشت کشور نشان داد. تلاش زیاد کمیته برنامه و کیفیت بازبینی بیش از صد داور خارجی از سرتاسر جهان که ما از آن بسیار سپاسگزاریم، تولید این برنامه فنی را به میزان قابل توجهی تسهیل کرد.

This volume contains the papers presented. at the Third IFIP International Working Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group 10.4 and held in Mondello (Sicily), Italy on September 14-16, 1992. System developers increasingly apply computers where they can affect the safety and security of people and equipment. The Third IFIP International Working Conference on Dependable Computing for Critical Applications, like its predecessors, addressed various aspects of computer system 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 the scope of the conference was so broad, we hope the presentations and discussions will contribute to the integration of these concepts so that future computer-based systems will indeed be more dependable. The Program Committee selected 18 papers for presentation from a total of 7 4 submissions at a May meeting in Newcastle upon Tyne, UK. The resulting program represented a broad spectrum of interests, with papers from universities, corporations, and government agencies in eight countries. Much diligent work by the Program Committee and the quality of reviews from more than a hundred external referees from around the world, for which we are most grateful, significantly eased the production of this technical program.