خرید و دانلود نسخه کامل کتاب Development of Safety-Critical Systems : Architecture and Software
قیمت اصلی 66,500 تومان بود.49,000 تومانقیمت فعلی 49,000 تومان است.
تعداد فروش: 52
| عنوان فارسی |
توسعه سیستم های ایمنی- بحرانی: معماری و نرم افزار |
|---|---|
| عنوان اصلی | Development of Safety-Critical Systems : Architecture and Software |
| ناشر | Springer Nature Switzerland |
| نویسنده | Gopinath Karmakar; Amol Wakankar; Ashutosh Kabra; Paritosh Pandya |
| ISBN | 9783031279010, 9783031279003 |
| سال نشر | 2023 |
| زبان | English |
| تعداد صفحات | 0 |
| دسته | امنیت |
| فرمت کتاب | epub – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 23 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب به متخصصان و دانش‌آموزان راهنمایی عملی برای توسعه سیستم‌های مبتنی بر رایانه با اهمیت ایمنی ارائه می‌کند. این بخش جنبه‌های مهمی از رعایت استانداردها و دستورالعمل‌ها گرفته تا فرآیند و ابزارهای لازم توسعه نرم‌افزار و همچنین تکنیک‌های مربوط به پلت‌فرم‌های توسعه برنامه‌های کاربردی مبتنی بر مدل و همچنین کنترل‌کننده‌های قابل برنامه‌ریزی واجد شرایط را پوشش می‌دهد.
پس از یک مقدمه کلی درباره موضوع کتاب در فصل 1، فصل 2 جنبه‌های قابلیت اطمینان سیستم‌های ایمنی و اینکه چگونه طراحی معماری در سطح سیستم به مقابله با خرابی‌ها کمک می‌کند و در عین حال به ویژگی‌های قابلیت اطمینان هدفمند دست می‌یابد، بحث می‌کند. فصل 3 فرآیند توسعه نرم افزار را ارائه می دهد که شامل تأیید و اعتبارسنجی در هر مرحله است که برای توسعه نرم افزار برای سیستم هایی که عملکردهای ایمنی را انجام می دهند ضروری است. همچنین توضیح می‌دهد که چگونه این فرآیند به ایجاد یک مورد ایمنی کمک می‌کند که بتواند به طور مستقل تأیید و تأیید شود. فصل 4 بعدی استانداردها و دستورالعمل های مهمی را ارائه می کند که در صنایع مختلف و در کشورهای مختلف اعمال می شود. فصل 5 سپس مراحل مربوط به رعایت استانداردها در هر مرحله از توسعه را مورد بحث قرار می دهد. این یک تور راهنما ارائه می دهد که مسیر صلاحیت نرم افزار را با بررسی گام های لازم برای دستیابی به هدف با کمک مطالعات موردی طی می کند. فصل 6 کاربرد روش‌های رسمی برای توسعه نرم‌افزار سیستم‌های ایمنی را برجسته می‌کند و برخی نمادها و ابزارهای موجود را معرفی می‌کند که به این فرآیند کمک می‌کنند. در نهایت، فصل 7 یک بحث مفصل در مورد اهمیت و مزایای پلت فرم های واجد شرایط برای توسعه برنامه های کاربردی سیستم های ایمنی، از جمله کنترل کننده قابل برنامه ریزی (PLC) و پلت فرم های توسعه مبتنی بر مدل رسمی ارائه می دهد. هر فصل شامل مطالعات موردی است که موضوع را نشان می دهد.
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.