Sale
ایمنی سامانههای کنترل کامپیوتری ۱۹۸۳: دستیابی به سامانههای کامپیوتری امن در زمان واقعی ۲۰۱۴
Safety of Computer Control Systems 1983 (Safecomp ‘ 83): Achieving Safe Real Time Computer Systems 2014
دانلود کتاب ایمنی سامانههای کنترل کامپیوتری ۱۹۸۳: دستیابی به سامانههای کامپیوتری امن در زمان واقعی ۲۰۱۴ (Safety of Computer Control Systems 1983 (Safecomp ‘ 83): Achieving Safe Real Time Computer Systems 2014) با لینک مستقیم و فرمت pdf (پی دی اف)
| نویسنده |
J. A. Baylis |
|---|
ناشر:
Elsevier
۳۰ هزار تومان تخفیف با کد «OFF30» برای اولین خرید
| سال انتشار |
2014 |
|---|---|
| زبان |
English |
| تعداد صفحهها |
282 |
| نوع فایل |
|
| حجم |
29.7MB |
🏷️ قیمت اصلی: 200,000 تومان بود.129,000 تومانقیمت فعلی: 129,000 تومان.
هوشمصنوعی ترجمه کالیبو
توضیحات
معرفی کتاب ایمنی سامانههای کنترل کامپیوتری ۱۹۸۳: دستیابی به سامانههای کامپیوتری امن در زمان واقعی ۲۰۱۴
ایمنی سیستمهای کنترل کامپیوتری ۱۹۸۳: دستیابی به سیستمهای کامپیوتری زمان واقعی ایمن، حاوی مجموعه مقالات سومین کارگاه آموزشی IFAC/IFIP است که در تاریخ ۲۰ تا ۲۲ سپتامبر ۱۹۸۳ در کمبریج، انگلستان برگزار شد.
این کتاب که از ۳۶ فصل تشکیل شده و به هشت جلسه کارگاه تقسیم شده است، با بحث در مورد ایمنی و قابلیت اطمینان سیستمهای کنترل کامپیوتری آغاز میشود. فصلهای بعدی به بررسی طراحی سیستم برای ایمنی و قابلیت اطمینان، تحمل خطا، بازیابی و استفاده از افزونگی، و جنبههایی از تحمل خطا برای قابلیت اطمینان سیستم میپردازند. فصلهای دیگر به تفصیل به تکنیکهای مشخصات، توسعه سیستم و تضمین کیفیت، تأییدیهها و اعتبارسنجیها، مطالعات موردی و همچنین زمانبندی، شبکهها و ارتباطات میپردازند.
فهرست کتاب:
۱. روی جلد
۲. ایمنی سیستمهای کنترل کامپیوتری ۱۹۸۳ (Safecomp ‘۸۳): دستیابی به سیستمهای کامپیوتری بیدرنگ ایمن
۳. صفحه حق تکثیر
۴. فهرست مطالب
۵. پیشگفتار
۶. فصل ۱. ارزیابی یکپارچگی ایمنی سیستمهای الکترونیکی برنامهپذیر
۷. فصل ۲. تحلیل قابلیت اطمینان (سختافزار) یک سیستم ایمنی دمای هسته
۸. فصل ۳. کاربرد مدلهای حالت محدود برای طراحی سیستم و ارزیابی قابلیت اطمینان
۹. فصل ۴. پیشبینی قابلیت اطمینان: مسئله منطق
۱۰. فصل ۵. کپسولهسازیهای ماژولار با ارتباط بین رابطهای پاک و سربار اجتنابناپذیر
۱۱. فصل ۶. تلفیق زمان بازیابی و تعمیر در مدلسازی قابلیت اطمینان سیستم تحملپذیر خطا
۱۲. فصل ۷. تحلیل امنیت نرمافزار – یک ارزیابی کوتاه
۱۳. فصل ۸. نرمافزار تحملپذیر خطای عملی برای سیستمهای ناهمزمان
۱۴. فصل ۹. تأثیر تکنیکهای تحمل خطای نرمافزار بر پیچیدگی نرمافزار در سیستمهای بیدرنگ
۱۵. فصل ۱۰. کاربرد تکنیکهای تحمل خطا در یک سیستم بیدرنگ
۱۶. فصل ۱۱. سیستمهای حفاظت از کارخانه مبتنی بر کامپیوتر با ایمنی ذاتی
۱۷. فصل ۱۲. رابط انسان و ماشین برای یک سیستم کنترل تحملپذیر خطا
۱۸. فصل ۱۳. تکنیکهای تشخیص و بازیابی خطا در CUTLASS
۱۹. فصل ۱۴. ویژگیهای اجتناب از خطا و حذف خطا در سیستم پشتیبانی و توسعه به کمک کامپیوتر: EPOS
۲۰. فصل ۱۵. سیستم مشخصات X-SPEX – مقدمه و تجربه
۲۱. فصل ۱۶. زبانی برای توصیف صوری سیستمهای بیدرنگ
۲۲. فصل ۱۷. کنترل کیفیت و تضمین کیفیت نرمافزار
۲۳. فصل ۱۸. کیفیت نرمافزار – یک رویکرد عملی
۲۴. فصل ۱۹. کیفیت فرآیند توسعه نرمافزار
۲۵. فصل ۲۰. ساخت نرمافزار قابل اطمینان برای Spacelab
۲۶. فصل ۲۱. نرمافزار برای کامپیوترها در سیستمهای ایمنی نیروگاههای هستهای
۲۷. فصل ۲۲. تأیید ایمنی
۲۸. فصل ۲۳. ارزیابی ایمنی نرمافزار کامپیوتر حرکت میله کنترل
۲۹. فصل ۲۴. اعتبارسنجی نرمافزار برای یک سیستم علامتدهی راهآهن
۳۰. فصل ۲۵. یک روششناسی عملی برای توسعه، تأیید و اعتبارسنجی نرمافزار ایمنی
۳۱. فصل ۲۶. MINOS: قابلیت اطمینان سیستم و نرمافزار قابل استفاده مجدد
۳۲. فصل ۲۷. PLC ها در سیستمهای خاموشکننده فراساحلی
۳۳. فصل ۲۸. یک سیستم حاکم توربین مبتنی بر نرمافزار با یکپارچگی بالا
۳۴. فصل ۲۹. کنترل هماهنگ درایوهای الکتریکی
۳۵. فصل ۳۱. سازگاری الکترومغناطیسی سیستمهای کامپیوتری دریایی
۳۶. فصل ۳۲. سیستم ارتباطی ADNET: ارتباط بینپردازشی در یک شبکه محلی تحملپذیر خطا
۳۷. فصل ۳۳. ارزیابی یک سازوکار فعالسازی پشتیبان برای دستیابی به عملکرد ایمن در سیستمهای چندپردازندهای توزیعشده
۳۸. فصل ۳۴. یک سیستم چندمیکروپردازندهای با دسترسی بالا برای کاربردهای بیدرنگ
۳۹. فصل ۳۵. TREX/MCS: یک سیستم چندکامپیوتری تحملپذیر خطا
۴۰. فصل ۳۶. REBECCA: یک سیستم پشتیبانی ارتباطی قابل اعتماد برای یک سیستم پایش و ایمنی توزیعشده
۴۱. فهرست نام نویسندگان
توضیحات(انگلیسی)
Safety of Computer Control Systems 1983: Achieving Safe Real Time Computer Systems contains the proceedings of the Third IFAC/IFIP Workshop held at Cambridge, UK on September 20-22, 1983. Composed of 36 chapters, separated into the eight sessions of the workshop, this book begins with a discussion of the safety and reliability of computer control systems. Subsequent chapters explore the systems design for safety and reliability; fault tolerance, recovery, and use of redundancy; and aspects of fault tolerance for system reliability. Other chapters detail specification techniques; system development and quality assurance; verifications and validations; case studies; as well as scheduling, networks, and communications.
Table of Contents
1. Front Cover
2. Safety of Computer Control Systems 1983 (Safecomp '83): Achieving Safe Real Time Computer Systems
3. Copyright Page
4. Table of Contents
5. PREFACE
6. CHAPTER 1. SAFETY INTEGRITY ASSESSMENT OF PROGRAMMABLE ELECTRONIC SYSTEMS
7. CHAPTER 2. RELIABILITY ANALYSIS (HARDWARE) OF A CORE TEMPERATURE SAFETY SYSTEM
8. CHAPTER 3. APPLICATION OF FINITE STATE MODELS FOR SYSTEM DESIGN AND RELIABILITY ASSESSMENT
9. CHAPTER 4. RELIABILITY PREDICTION: A MATTER OF LOGIC
10. CHAPTER 5. MODULAR ENCAPSULATIONS COMMUNICATING BETWEEN CLEAN INTERFACES AND THE UNAVOIDABLE OVERHEAD
11. CHAPTER 6. INCORPORATION OF RECOVERY AND REPAIR TIM E IN THE RELIABILITY MODELLING OF FAULT-TOLERANT SYSTEM
12. CHAPTER 7. SOFTWARE SECURITY ANALYSIS - A SHORT APPRECIATION
13. CHAPTER 8. PRACTICAL FAULT TOLERANT SOFTWARE FOR ASYNCHRONOUS SYSTEMS
14. CHAPTER 9. THE IMPACT OF SOFTWARE FAULT TOLERANT TECHNIQUES ON SOFTWARE COMPLEXITY IN REAL TIME SYSTEMS
15. CHAPTER 10. THE APPLICATION OF FAULT TOLERANT TECHNIQUES TO A REAL TIME SYSTEM
16. CHAPTER 11. FAIL-SAFE COMPUTER-BASED PLANT PROTECTION SYSTEMS
17. CHAPTER 12. THE MAN-MACHINE INTERFACE FOR A FAULT TOLERANT CONTROL SYSTEM
18. CHAPTER 13. FAULT DETECTION AND RECOVERY TECHNIQUES IN CUTLASS
19. CHAPTER 14. FAULT-AVOIDANCE AND FAULT-REMOVAL FEATURES OF THE COMPUTER-AIDED DEVELOPMENT AND SUPPORT SYSTEM: EPOS
20. CHAPTER 15. THE SPECIFICATION SYSTEM X-SPEX- INTRODUCTION AND EXPERIENCE
21. CHAPTER 16. A LANGUAGE FOR FORMAL DESCRIPTION OF REAL TIME SYSTEMS
22. CHAPTER 17. SOFTWARE QUALITY CONTROL AND ASSURANCE
23. CHAPTER 18. SOFTWARE QUALITY - A PRACTICAL APPROACH
24. CHAPTER 19. QUALITY OF THE SOFTWARE DEVELOPMENT PROCESS
25. CHAPTER 20. BUILDING RELIABLE SOFTWARE FOR SPACELAB
26. CHAPTER 21. SOFTWARE FOR COMPUTERS IN SAFETY SYSTEMS OF NUCLEAR POWER PLANTS
27. CHAPTER 22. VERIFICATION OF SAFETY
28. CHAPTER 23. SAFETY ASSESSMENT OF THE SOFTWARE OF A CONTROL ROD MOTION COMPUTER
29. CHAPTER 24. SOFTWARE VALIDATION FOR A RAILWAY SIGNALLING SYSTEM
30. CHAPTER 25. A PRACTICAL METHODOLOGY FOR SAFETY SOFTWARE DEVELOPMENT, VERIFICATION & VALIDATION
31. CHAPTER 26. MINOS: SYSTEMS RELIABILITY AND REUSEABLE SOFTWARE
32. CHAPTER 27. PLC'S INTO OFFSHORE SHUT-DOWN SYSTEMS
33. CHAPTER 28. A HIGH INTEGRITY SOFTWARE BASED TURBINE GOVERNING SYSTEM
34. CHAPTER 29.COORDINATED CONTROL OF ELECTRICAL DRIVES
35. CHAPTER 31. ELECTROMAGNETIC COMPATIBILITY OF MARINE COMPUTER SYSTEMS
36. CHAPTER 32. THE ADNET COMMUNICATIONS SYSTEM: INTER-PROCESS COMMUNICATION IN A FAULT TOLERANT LOCAL AREA NETWORK
37. CHAPTER 33. EVALUATION OF A BACK-UP ACTIVATION MECHANISM TO ACHIEVE FAIL-SAFE OPERATION IN DISTRIBUTED MULTIPROCESS SYSTEMS
38. CHAPTER 34. A HIGHLY AVAILABLE MULTIMICROPROCESSOR SYSTEM FOR REAL-TIME APPLICATIONS
39. CHAPTER 35. TREX/MCS: A FAULT TOLERANT MULTICOMPUTER SYSTEM
40. CHAPTER 36. REBECCA: A DEPENDABLE COMMUNICATION SUPPORT SYSTEM FOR A DISTRIBUTED MONITORING AND SAFETY SYSTEM
41. AUTHOR INDEX
سایر کتابهای ناشر
✨ ضمانت تجربه خوب مطالعه
بازگشت کامل وجه
در صورت مشکل، مبلغ پرداختی بازگردانده می شود.
دانلود پرسرعت
دانلود فایل کتاب با سرعت بالا
ارسال فایل به ایمیل
دانلود مستقیم به همراه ارسال فایل به ایمیل.
پشتیبانی ۲۴ ساعته
با چت آنلاین و پیامرسان ها پاسخگو هستیم.
ضمانت کیفیت کتاب
کتاب ها را از منابع معتیر انتخاب می کنیم.
