دانلود کتاب توسعه نرم افزارهای امبدد برای سیستم های بحرانی ایمنی

توضیحات

سیستم های بحرانی ایمنی

سیستم های بحرانی-ایمنی سیستم هایی هستند که ایمنی در آن ها مهم است. ایمنی زمانی فراهم می شود که کلیه توابع و عملیات ها در اینگونه سیستم ها به صورت ایمن عمل کنند. یک سیستم ایمن باید در زمان مورد نیاز در دسترس باشد و با قابلیت اطمینان بالا ( صحیح و بدون خطا ) کارها را انجام دهد و در صورت بروز خطا، خراب نشده و واکنش مناسب به خرابی ها نشان دهد. به سیستم هایی که در صنایع حساس مثل صنایع خودروسازی، راه آهن، مهندسی پزشکی، نفت، گاز و پتروشیمی وجود دارند به علت اینکه در صورت خراب شدن ممکن است خسارات جانی و مالی در پی داشته باشند، ایمنی بحرانی گفته می شود.

برای اضافه کردن مجموعه قابلیت های نامبرده شده به یک سیستم یعنی افزایش در دسترس بودن، اجرای درست عملیات ها، تحمل پذیری در برابر خطا، بایستی هم از نظر سخت افزاری و هم از نظر نرم افزاری تمهیداتی اندیشیده شود. در این کتاب بیشتر به معرفی و تشریح تمهیدات نرم افزاری سیستم های ایمنی بحرانی پرداخته است اما خواننده این کتاب در مورد سخت افزار هم دید کلی به دست می آورد.

برای سریعتر مشغول به کار شدن در یکی از صنایع نامبرده شده، یا برای ارتقای رزومه خود یا برای ایمن کردن محصول امبدد بحرانی-ایمنی شرکت خود خواندن این کتاب توصیه می شود. یکی دیگر از ویژگی های این کتاب جامع بودن آن است به طوری که مولف از منابع و مراجع مختلفی استفاده کرده است و سعی داشته است تا با رعایت تمامی استانداردهای مربوط به ایمنی نکات تلفیقی را ارائه کند. این کار باعث شده است تا خواننده با مطالعه این کتاب با بسیاری از مفاهیم و مباحث مطرح شده در تعداد زیادی از استانداردها آشنا شود.

زمانی که من به دنبال یک منبع مفید برای تفسیر مطالب استاندارد IEC 61508 برای گرفتن گواهینامه یک محصول بودم با این کتاب آشنا شدم و شروع به مطالعه آن کردم. از آن جایی که این کتاب بسیار مفید واقع شد و به طور کلی باعث بهبود و تسریع در روند اصلاح اشکالات پروژه شد، تصمیم گرفتم تا آن را ترجمه کنم. به نظرم در صنایع رو به رشد خصوصا صنایع پرحادثه نظیر خودروسازی نیاز اساسی برای بهبود کیفیت محصول جهت اخذ گواهینامه های مرتبط با ایمنی برای محصولات می باشد. امیدوارم که این کتاب مورد استفاده مهندسین و مدیران این شرکت ها واقع شود تا شاهد تولید محصولات با کیفیت ایرانی بیشتری باشیم.

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

---

نرم افزار و ایمنی

من این کتاب را برای طراحان، پیاده سازان و گواهی کنندگان دارای تجربه در توسعه نرم افزاری سیستم‌های تعبیه‌شده معمولی نوشته ام، که قصد دارند یک برنامه کاربردی بحرانی-ایمنی برای یک سیستم مبتنی بر نرم‌افزار بنویسند. به طور خاص، هدف این کتاب افرادی است که محصولی را ایجاد می کنند که باید یک یا چند استاندارد بین المللی مربوط به کاربردهای بحرانی-ایمنی را برآورده کند.

به نظر می‌رسد رسانه‌ها از توصیف ماشین‌های رادیوتراپی که دوزهای اشتباهی را به بیماران داده‌اند، بلایای هوایی و برخوردهای احتمالی، موشک‌هایی که به دلیل جا انداختن کاما در کدنویسی FORTRAN نابود می‌شوند ( انواع مختلفی به فضاپیمای مارینر و مرکوری نسبت داده می شود.) و بسیاری دیگر از این قبیل خرابی‌های مرتبط با نرم‌افزار، لذت می‌برند. موارد کمتری ثبت می شود که در آن، سخت افزار از کار افتاده باشد و نرم افزار بتواند از بروز فاجعه جلوگیری کند. یکی از نمونه های آن ایرباسی است که در ژانویه 2009 پس از از کار افتادن سخت افزار موتورها در رودخانه هادسون، ایالات متحده آمریکا فرود آمد. بدون در دسترس بودن مداوم نرم افزار کنترل پرواز، تقریباً به طور قطع تلفات قابل توجهی وجود داشت. بنابراین تقسیم سخت افزار/نرم افزار کاملاً یک طرفه نیست.

امیدوارم این کتاب ایده‌هایی را برای طراحان، پیاده سازان و گواهی کنندگان فراهم کند که به افزایش نسبت حوادثی که نرم‌افزار منجر به نجات می شود بیانجامد.

---

مراجع مورد استفاده در کتاب

تمام تکنیک های شرح داده شده در این کتاب را می توان از طریق صدها مقاله دانشگاهی دیگر مورد بررسی قرار داد. برای اینکه بتوانم راهی برای ورود شما به این مراجع ارائه کنم، در پایان هر فصل منابعی را ارائه کرده ام. با چند استثناء عجیب (به عنوان مثال، مقاله لاردنر ( Lardner ) در سال 1834 در مورد برنامه نویسی متنوع و مقاله بابیج ( Babbage ) در سال 1837 در مورد موتور محاسبه)، من فقط منابعی را گنجانده ام که شخصاً آنها را به عنوان یک توسعه دهنده نرم افزار مفید می دانم.

برخی از مقالات و کتاب‌هایی که به آنها ارجاع می‌دهم نظرم را در مورد موضوعی تغییر دادند و در بسیاری از موارد باعث شدند که برای بررسی اینکه آیا این مفاهیم واقعا مفید بوده اند یا خیر شروع به برنامه نویسی کنم.

باید اعتراف کنم که من با پرداخت پول به مجلات برای دسترسی به مقالات منتشر شده مخالفم و معتقدم تمام مقالاتی که در فهرست مراجع انتهای هر فصل به آنها اشاره می کنم را می توان آزادانه (و قانونی) از اینترنت دانلود کرد. در برخی موارد، به عنوان مثال، مقاله اصلی کالمن در سال 1960 که در فصل 8 به آن اشاره می کنم، می توان برای بازیابی مقاله اصلی 25 دلار به مجله پرداخت کرد یا به وب سایت مؤسسه آموزشی مرتبط (در این مورد، دانشگاه شمال کارولینا، ایالات متحده آمریکا) مراجعه کرد و مقاله را به صورت رایگان دانلود کرد. انتخاب را به خواننده واگذار می کنم.

من اغلب به استانداردهای مختلف بین المللی اشاره می کنم. این استانداردها به طور مداوم در حال تجدید نظر هستند و وقتی به استانداردی در این کتاب اشاره می کنم، منظورم نسخه های زیر است:

• EN 50126 2017/2018 Edition
• EN 50128 2011 Edition
• EN 50129 2018 Edition
• EN 50657 First Edition, 2017
• IEEE 754 2008 Edition
• IEEE 24765 2017 Edition
• ISO 14971 Second Edition, 2007 with 2009 Update
• ISO/PAS 21448 First Edition, 2019
• ISO 26262 Second Edition, 2018
• ISO 29119 First Edition, 2013-2016
• IEC 61508 Second Edition, 2010 with 61508-3-1:2016
• IEC 62304 First Edition, 2006

 

---

سرفصل های کتاب

برای مشاهده فهرست مطالب این کتاب به لینک زیر مراجعه نمایید.

دریافت رایگان مقدمه، فهرست مطالب و فصل اول و دوم کتاب توسعه نرم افزارهای امبدد برای سیستم های بحرانی ایمنی

---

این کتاب مناسب چه کسانی است ؟

• رشته های مهندسی برق، مهندسی کامپیوتر، مهندسی پزشکی، مهندسی صنایع، مهندسی ایونیک
• مهندسین طراح سیستمهای تحمل پذیر خطا
• برنامه نویسان سیستم های بحرانی ایمنی و تحمل پذیر در برابر خطا
• و کلیه علاقه مندان به سیستم های بحرانی ایمنی

---

توجه : لطفا قبل از سفارش، << راهنمای خرید و دانلود از فروشگاه الکترو ولت >> را حتما بخوانید.