Safer Systems: Proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997

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

The contributions to this book are the invited papers presented at the fifth annual Safety-critical Systems Symposium. They cover a broad spectrum of issues affecting safety, from a philosophical appraisal to technology transfer, from requirements analysis to assessment, from formal methods to artificial intelligence and psychological aspects. They touch on a number of industry sectors, but are restricted to none, for the essence of the event is the transfer of lessons and technologies between sectors. All address practical issues and of­ fer useful information and advice. Contributions from industrial authors provide evidence of both safety con­ sciousness and safety professionalism in industry. Smith's on safety analysis in air traffic control and Rivett's on assessment in the automotive industry are informative on current practice; Frith's thoughtful paper on artificial intelli­ gence in safety-critical systems reflects an understanding of questions which need to be resolved; Tomlinson's, Alvery's and Canning's papers report on collaborative projects, the first on results which emphasise the importance of human factors in system development, the second on the development and trial of a comprehensive tool set, and the third on experience in achieving tech­ nology transfer - something which is crucial to increasing safety.