ایمنی سیستم‌های کنترل کامپیوتری ۱۹۸۶ (Safecomp ’86): روندها در سیستم‌های کامپیوتری امن بلادرنگ ۲۰۱۷
Safety of Computer Control Systems 1986 (Safecomp ’86) Trends in Safe Real Time Computer Systems 2017

دانلود کتاب ایمنی سیستم‌های کنترل کامپیوتری ۱۹۸۶ (Safecomp ’86): روندها در سیستم‌های کامپیوتری امن بلادرنگ ۲۰۱۷ (Safety of Computer Control Systems 1986 (Safecomp ’86) Trends in Safe Real Time Computer Systems 2017) با لینک مستقیم و فرمت pdf (پی دی اف) و ترجمه فارسی

نویسنده

W. J. Quirk

ناشر: Elsevier
voucher (1)

۳۰ هزار تومان تخفیف با کد «OFF30» برای اولین خرید

سال انتشار

2017

زبان

English

تعداد صفحه‌ها

199

نوع فایل

pdf

حجم

16.9 MB

🏷️ قیمت اصلی: 200,000 تومان بود.قیمت فعلی: 129,000 تومان.

🏷️ قیمت اصلی: ۳۷۸٬۰۰۰ تومان بود. قیمت فعلی: ۲۹۸٬۰۰۰ تومان.

📥 دانلود نسخه‌ی اصلی کتاب به زبان انگلیسی(PDF)
🧠 به همراه ترجمه‌ی فارسی با هوش مصنوعی 🔗 مشاهده جزئیات

پیش‌خرید با تحویل فوری(⚡️) | فایل کتاب حداکثر تا ۳۰ دقیقه(🕒) پس از ثبت سفارش آماده دانلود خواهد بود.

دانلود مستقیم PDF

ارسال فایل به ایمیل

پشتیبانی ۲۴ ساعته

توضیحات

معرفی کتاب ایمنی سیستم‌های کنترل کامپیوتری ۱۹۸۶ (Safecomp ’86): روندها در سیستم‌های کامپیوتری امن بلادرنگ ۲۰۱۷

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


فهرست کتاب:

۱. روی جلد

۲. ایمنی سیستم‌های کنترل کامپیوتری ۱۹۸۶ (SAFECOMP ‘۸۶): گرایش‌ها در سیستم‌های کامپیوتری بی‌درنگ ایمن

۳. صفحه حق تکثیر

۴. فهرست مطالب

۵. پیشگفتار

۶. جلسه ۱: تضمین کیفیت نرم‌افزار

۷. جلسه ۲: تحمل خطای نرم‌افزار

۸. جلسه ۳: سیستم‌های توزیع‌شده تحمل‌پذیر خطا

۹. جلسه ۴: معماری‌های ایمن و قابل اعتماد

۱۰. جلسه ۵: رویکرد مبتنی بر دانش برای ایمنی

۱۱. جلسه ۶: رابط انسان و ماشین

۱۲. جلسه ۷: طراحی برای ایمنی

۱۳. جلسه ۸: ارزیابی قابلیت اطمینان و ایمنی

۱۴. جلسه ۹: تست و احراز صلاحیت

۱۵. فهرست نام نویسندگان

۱۶. فهرست موضوعی

توضیحات(انگلیسی)
The proceedings of the fifth workshop in this subject continue the trend set by the previous four and discusses some of the current problems involved in the design and production of safe real-time computer systems. Topics covered include software quality assurance, software fault tolerance, design for safety, and reliability and safety assessment. Every paper details the theoretical and practical problems involved in the development of safe systems and should therefore be of interest to all those involved in systems design.


Table of Contents

1. Front Cover

2. Safety of Computer Control Systems 1986 (SAFECOMP '86): Trends in Safe Real Time Computer Systems

3. Copyright Page

4. Table of Contents

5. Preface

6. SESSION 1: SOFTWARE QUALITY ASSURANCE

7. SESSION 2: SOFTWARE FAULT-TOLERANCE

8. SESSION 3: FAULT-TOLERANT DISTRIBUTED SYSTEMS

9. SESSION 4: SAFE AND RELIABLE ARCHITECTURES

10. SESSION 5: KNOWLEDGE BASED APPROACH TO SAFETY

11. SESSION 6: MAN-MACHINE INTERFACE

12. SESSION 7: DESIGN FOR SAFETY

13. SESSION 8: RELIABILITY AND SAFETY ASSESSMENT

14. SESSION 9: TEST AND QUALIFICATION

15. AUTHOR INDEX

16. SUBJECT INDEX

دیگران دریافت کرده‌اند

جنبه‌های ایمنی کنترل کامپیوتری ۲۰۱۴
Safety Aspects of Computer Control 2014

🏷️ قیمت اصلی: 200,000 تومان بود.قیمت فعلی: 129,000 تومان.

سایر کتاب‌های ناشر

✨ ضمانت تجربه خوب مطالعه

بازگشت کامل وجه

در صورت مشکل، مبلغ پرداختی بازگردانده می شود.

دانلود پرسرعت

دانلود فایل کتاب با سرعت بالا

ارسال فایل به ایمیل

دانلود مستقیم به همراه ارسال فایل به ایمیل.

پشتیبانی ۲۴ ساعته

با چت آنلاین و پیام‌رسان ها پاسخگو هستیم.

ضمانت کیفیت کتاب

کتاب ها را از منابع معتیر انتخاب می کنیم.