Directions in Safety-Critical Systems: Proceedings of the First Safety-critical Systems Symposium The Watershed Media Centre, Bristol 9–11 February 1993

0 e این مجموعه مقالات اولین سمپوزیوم سالانه باشگاه سیستم های ایمنی- بحرانی است (مرکز رسانه های آبشار، بریستول، 9-11 فوریه 1993)، که انجمنی را برای کاوش و بحث در مورد راه های دستیابی به ایمنی در رایانه فراهم کرد. سیستم هایی که در کاربردهای صنعتی حیاتی از نظر ایمنی استفاده می شوند. این کتاب در سه بخش تنظیم شده است که با موضوعات سه روز سمپوزیوم مطابقت دارد. اولین - تجربه از سراسر اروپا - اطلاعاتی را در مورد تحولات سیستم های ایمنی حیاتی در خارج از بریتانیا گرد هم می آورد. دومین - تحقیقجاری - شامل مقالاتی در مورد پروژه های بزرگ در بریتانیا است که شامل همکاری بین دانشگاه و صنعت، ارائه تکنیک ها و روش هایی برای افزایش ایمنی است. بخش پایانی - دستیابی و ارزیابی ایمنی - بررسی می‌کند که چگونه روش‌هایی که قبلاً در حوزه‌های دیگر استفاده می‌شوند ممکن است برای ایمنی اعمال شوند، و روابط بین ایمنی و سایر ویژگی‌ها مانند کیفیت و امنیت را بررسی می‌کند. این مقالات مشکلات فعلی و موضوعات مورد علاقه در زمینه سیستم‌های مبتنی بر نرم‌افزارهای حیاتی را شناسایی می‌کنند و مطالب به‌روز و ارزشمندی را برای افراد دانشگاهی و صنعتی ارائه می‌کنند. آکادمیک از اطلاعات مربوط به تحقیقات فعلی به صورت رایگان برای خودش بهره مند می شود و صنعتگر از فناوری هایی که به زودی در دسترس خواهند بود و کجا آنها را پیدا می کند، یاد می گیرد.

0 e This is the proceedings of the first annual symposium of the Safety-critical Systems Club (The Watershed Media Centre, Bristol, 9-11 February 1993), which provided a forum for exploring and discussing ways of achieving safety in computer systems to be used in safety-critical industrial applications. The book is divided into three parts, which correspond with the themes of the three days of the symposium. The first - Experience from Around Europe - brings together information on developments in safety-critical systems outside the UK. The second - CurrentResearch - consists of papers on large projects within the UK, which involve collaboration between academia and industry, providing techniques and methods to enhance safety. The final part - Achieving and Evaluating Safety - explores how methods already in use in other domains may be applied to safety, and examines the relationships between safety and other attributes such as quality and security. The papers identify the current problems and issues of interest in the field of safety-critical software-based systems, and provide valuable up-to-date material for those in both academia and industry. The academic will benefit from information about current research complimentary to his own, and the industrialist will learn of the technologies which will soon be available and where to find them.