Technology and Assessment of Safety-Critical Systems: Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8–10 February 1994

برنامه دومین سمپوزیوم سیستم‌های حیاتی ایمنی برای بررسی جنبه‌های مختلف فناوری در حال حاضر در طراحی سیستم‌های حیاتی ایمنی و همچنین تاکید بر اهمیت ایمنی و مدیریت ریسک در طراحی و عملکرد آنها برنامه‌ریزی شده بود. . ارزیابی تعادل یکنواختی از مشارکت‌های دانشگاهی و صنعت وجود دارد. بنابراین، به صنعت این فرصت داده می شود تا دیدگاه های خود را در مورد حوزه حیاتی ایمنی بیان کند و در عین حال نگاهی اجمالی به فناوری هایی که در حال حاضر در حال توسعه هستند و در صورت موفقیت در آینده میان مدت در دسترس خواهند بود، ارائه می دهد. در زمینه فناوری، موضوعی که اهمیت آن به طور فزاینده ای در حال شناسایی است، عوامل انسانی است و مقالاتی در این زمینه از دانشگاه هرتفوردشایر و رولز رویس وجود دارد. به طور فزاینده ای، PLC ها در برنامه های کاربردی حیاتی ایمنی به کار می روند و این حوزه با مشارکت های Nuclear Electric و August Computers نشان داده می شود. سپس مقالاتی در مورد قابلیت نگهداری، Ada، مهندسی معکوس، مسائل اجتماعی، روش‌های رسمی و سیستم‌های پزشکی، همه در زمینه ایمنی وجود دارد. و البته، نمی‌توان فناوری‌های «جدید» را از حوزه حیاتی ایمنی دور نگه داشت: مقالاتی درباره شبکه‌های عصبی از دانشگاه اکستر و سیستم‌های مبتنی بر دانش از فناوری ERA وجود دارد.

The programme for the Second Safety-critical Systems Symposium was planned to examine the various aspects of technology currently employed in the design of safety-critical systems, as well as to emphasise the importance of safety and risk management in their design and operation. assessment There is an even balance of contributions from academia and industry. Thus, industry is given the opportunity to express its views of the safety-critical domain and at the same time offered a glimpse of the technologies which are currently under development and which, if successful, will be available in the medium-term future. In the field of technology, a subject whose importance is increasingly being recognised is human factors, and there are papers on this from the University of Hertfordshire and Rolls-Royce. Increasingly, PLCs are being employed in safety-critical applications, and this domain is represented by contributions from Nuclear Electric and August Computers. Then there are papers on maintainability, Ada, reverse engineering, social issues, formal methods, and medical systems, all in the context of safety. And, of course, it is not possible to keep the 'new' technologies out of the safety-critical domain: there are papers on neural networks from the University of Exeter and knowledge-based systems from ERA Technology.