Dependable Computer Systems

تحلیل قابلیت اطمینان رویکرد اخیر برای ارزیابی عملکرد سیستم‌های معاصر است که تلاش می‌کند با چالش‌های جدیدی که با پیچیدگی، اندازه و تنوع بی‌سابقه‌شان به وجود می‌آیند، مقابله کند. به ویژه در مورد سیستم‌ها و شبکه‌های رایانه‌ای، چنین ارزیابی باید مبتنی بر رویکرد چند رشته‌ای به نظریه، فناوری و نگهداری سیستم‌هایی باشد که در محیط‌های واقعی (و اغلب غیر دوستانه) عمل می‌کنند. برخلاف قابلیت اطمینان «کلاسیک» که عمدتاً بر جنبه‌های فنی عملکرد سیستم تمرکز می‌کند، مطالعات قابلیت اطمینان سیستم‌ها را به‌عنوان ادغام‌های چندوجهی و پیچیده از فنی، اطلاعات و همچنین منابع انسانی بررسی می‌کنند.

این مونوگراف، پیشرفت‌های جدید منتخب را در زمینه‌هایی از تحقیقات قابلیت اطمینان مانند مدل‌های ریاضی، ارزیابی نرم‌افزار، ارزیابی احتمالی، روش‌شناسی، ابزار و فناوری‌ها ارائه می‌کند. روش‌های محاسباتی هوشمند و نرم به حل مشکلات اساسی تحلیل قابلیت اطمینان کمک می‌کنند که ناشی از این واقعیت است که در سیستم‌های رایانه‌ای معاصر اغلب یافتن رابطه بین عناصر سیستم و رویدادهای سیستم (رابطه بین دلایل و نتایج) دشوار است و حتی تعریف مدل‌های ریاضی دقیق با روابط «تحلیلی» بین چنین پدیده‌هایی دشوارتر است.

Dependability analysis is the recent approach to performance evaluation of contemporary systems which tries to cope with new challenges that are brought with their unprecedented complexity, size and diversity. Especially in case of computer systems and networks such evaluation must be based on multidisciplinary approach to theory, technology, and maintenance of systems which operate in real (and very often unfriendly) environments. As opposed to “classic” reliability which focuses mainly on technical aspects of system functioning, dependability studies investigate the systems as multifaceted and sophisticated amalgamations of technical, information and also human resources.

This monograph presents selected new developments in such areas of dependability research as mathematical models, evaluation of software, probabilistic assessment, methodologies, tools, and technologies. Intelligent and soft computing methods help to resolve fundamental problems of dependability analysis which are caused by the fact that in contemporary computer systems it is often difficult to find a relation between system elements and system events (the relation between reasons and results) and it is even more difficult to define strict mathematical models with “analytical” relationships between such phenomena.