Achievement and Assurance of Safety: Proceedings of the Third Safety-critical Systems Symposium

هر سال پیشرفت‌هایی در فناوری سیستم حیاتی وجود دارد. اینها هم از پیشرفت‌ها در فن‌آوری‌های کمک‌کننده، مانند مهندسی ایمنی، مهندسی نرم‌افزار، عوامل انسانی و ارزیابی ریسک، و هم از پذیرش یا انطباق تکنیک‌های مناسب از سایر حوزه‌ها، مانند امنیت ناشی می‌شوند. برای اینکه این بهبودها سود واقعی داشته باشند، باید در مرحله مناسب در چرخه حیات سیستم، خواه توسعه، ارزیابی یا بهره برداری، اعمال شوند. برای این که این اتفاق بیفتد، باید با آنها ارتباط برقرار کرد و توضیح داد. سمپوزیوم سیستم‌های حیاتی ایمنی هر سال یک انجمن برجسته برای ارائه مقالات در مورد چنین پیشرفت‌هایی و همچنین برای مقالات صنعت در مورد درس‌های آموخته‌شده از استفاده از فناوری‌ها و روش‌ها ارائه می‌دهد. نتایج بسیاری از پروژه‌های تحقیقاتی مشترک، با مؤلفه‌هایی از صنعت و دانشگاه، به شکلی قابل درک جهانی گزارش شده است. در سال 1995 سمپوزیوم در برایتون برگزار شد، مکانی که نه تنها ارائه دهندگان مقالات، بلکه همه نمایندگان را تحریک می کرد. با این حال، این کتاب مجموعه مقالات نه تنها برای نمایندگان در نظر گرفته شده است، بلکه برای خوانندگانی که قادر به شرکت در خود رویداد نیستند نیز در نظر گرفته شده است. ما از هر دو دسته خواننده استقبال می کنیم. نمایندگان از حضور در سخنرانی ها و فرصت شرکت در بحث ها بهره مند هستند. کسانی که این کتاب را بعد از این رویداد انتخاب می کنند، می توانند آن را در اوقات فراغت خود مطالعه کنند و شاید به خاطر آن تصمیم بگیرند در سمپوزیوم های بعدی شرکت کنند.

Each year there are improvements in safety-critical system technology. These arise both from developments in the contributing technologies, such as safety engineering, software engineering, human factors and risk assessment, and from the adoption or adaptation of appropriate techniques from other domains, such as security. For these improvements to be of real benefit, they need to be applied during the appropriate stage in the life cycle of the system, whether it be development, assessment, or operation. For this to occur, they must be communicated and explained. Each year the Safety-critical Systems Symposium offers a distinguished forum for the presentation of papers on such developments, and also for papers from industry on the lessons learned from the use of technologies and methods. The results of many collaborative research projects, with components from both industry and academia, are reported in a universally understandable form. In 1995 the Symposium was held in Brighton, a venue calculated to stimulate not just the presenters of papers, but all the delegates. Yet, this book of Proceedings is intended not only for the delegates but also for readers not able to attend the event itself. We welcome both categories of reader. Delegates have the benefit of attending the presentations and the opportunity to participate in the discussions; those who take up this book after the event can peruse it attheir leisure and, perhaps, on account of it will resolve to attend subsequent symposia.