Dependability of Networked Computer-based Systems

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

وابستگی سیستم‌های مبتنی بر کامپیوتر شبکه‌ای، وابستگی به مدل‌های مبتنی بر کامپیوتر شبکه‌ای، وابستگی به مدل‌های مبتنی بر شبکه، وابستگی بیش از حد به مدل‌های مبتنی بر مدل‌ها را می‌دهد سیستم های مبتنی بر کامپیوتر شبکه ای، و همچنین روندهای جدید، قابلیت ها و محدودیت های آنها. انواع روش‌های مدل‌سازی قابلیت اطمینان را پوشش می‌دهد:

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

The measurement of dependability attributes on real systems is a very time-consuming and costly affair, making analytical or simulation modeling the only viable solutions. Dependability of Networked Computer-based Systems explores reliability, availability and safety modeling of networked computer-based systems used in life-critical applications such as avionics, nuclear power plants, automobiles and chemical process industries.

Dependability of Networked Computer-based Systems gives an overview of basic dependability modeling concepts and addresses new challenges in dependability modeling of networked computer-based systems, as well as new trends, their capabilities and limitations. It covers a variety of dependability modeling methods:

• stochastic processes,
• Markov and semi-Markov models,
• response-time distribution,
• stochastic Petri-net-based modeling formalisms, and
• Monte Carlo simulation models.

Dependability of Networked Computer-based Systems provides students and researchers with a detailed overview of dependability models and analysis techniques. Practicing engineers will also find this text a useful guide to decision-making based on system dependability at the design, operation and maintenance stages.