عنوان فارسیتوسعه سیستم های ایمنی- بحرانی: معماری و نرم افزار
عنوان اصلی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) و پلت فرم های توسعه مبتنی بر مدل رسمی ارائه می دهد. هر فصل شامل مطالعات موردی است که موضوع را نشان می دهد.
نقد و بررسیها
هیچ دیدگاهی برای این محصول نوشته نشده است.