Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering

چه شواهدی برای توجیه انتشار یک سیستم حیاتی ایمنی مبتنی بر رایانه کافی است؟ این شواهد چگونه باید به نهادهای صدور گواهینامه یا مقامات نظارتی ارائه شود؟ بهترین شیوه ها باید اعمال شود؟ اینها تنها تعدادی از سوالاتی است که توسط توجیه قابلیت اطمینان سیستم‌های مبتنی بر رایانه مطرح شده است، که چارچوبی برای توجیه قابلیت اطمینان یک سیستم مبتنی بر رایانه ارائه می‌کند. این کتاب همچنین برخی از جنبه‌های اساسی‌تر ارزیابی ایمنی، مانند ماهیت مدل‌ها، استدلال‌ها، شواهد و مستندات، و راه‌های مقابله با انواع مختلف ریسک و عدم قطعیت را بررسی می‌کند.

توجیه قابلیت اطمینان سیستم‌های مبتنی بر کامپیوتر برای نرم‌افزار، سیستم‌های کامپیوتری، مهندسین ابزار دقیق و کنترل، و تنظیم‌کننده‌هایی که در بخش‌های صنعتی مانند ایمنی هسته‌ای کار می‌کنند، ارزشمند خواهد بود.

Pierre- ژاک کورتوااستاد دپارتمان علوم و مهندسی کامپیوتر در دانشگاه کاتولیک Louvain-la-Neuve، با علایق تحقیقاتی خاصی در نرم افزارهای حیاتی ایمنی برای صنعت هسته ای. او بیش از پانزده سال تجربه در صنعت ایمنی هسته ای دارد و به عنوان مشاور ایمنی هسته ای در فنلاند و انگلستان و به عنوان مشاور آژانس بین المللی انرژی اتمی (IAEA) و سازمان همکاری اقتصادی و توسعه (سازمان همکاری و توسعه اقتصادی) کار کرده است. OECD).

What evidence is sufficient to justify the release of a computer-based safety critical system? How should this evidence be presented to certification bodies or regulatory authorities? What best practices should be applied? These are just a few of the questions addressed by Justifying the Dependability of Computer-based Systems, which provides a framework for the justification of the dependability of a computer-based system. The book also explores some of the more fundamental aspects of safety evaluation, such as the nature of models, arguments, evidence and documentation, and the ways to deal with different types of risk and uncertainty.

Justifying the Dependability of Computer-based Systems will be of value to software, computer system, instrumentation and control engineers, and regulators working in industry sectors such as nuclear safety.

Pierre-Jacques Courtois is a Professor in the Department of Computer Science and Engineering at the Catholic University of Louvain-la-Neuve, with particular research interests in safety-critical software for the nuclear industry. He has more than fifteen years experience in the nuclear safety industry, having worked as a nuclear safety advisor in Finland and the UK, and as a consultant to the International Atomic Energy Agency (IAEA) and the Organisation for Economic Co-operation and Development (OECD).