سبد سفارش شما خالی است!

با گسترش روزافزون به‌کارگیری سامانه‌های کامپیوتری در کاربردهای بحرانی، استفاده از روش‌های ارتقای ایمنی و قابلیت اطمینان در فازهای اولیه طراحی و تولید، اهمیت بسزایی پیدا کرده است. فصل اول کتاب حاضر به بررسی مفاهیم پایه و لزوم بهره‌گیری از روش‌های اطمینان‌پذیری در برابر اشکال و خطا اختصاص دارد. در فصل دوم به یکی از معتبرترین استانداردهای این حوزه پرداخته شده است. این استاندارد که ++misra c نام دارد مبتنی بر زبان ++c بوده و شامل 227 قانون بسیار مهم و کاربردی است. در فصل سوم نیز ابزارهای وارسی این قوانین معرفی و یکی از مطلوب‌ترین آن‌ها برای به‌کارگیری معرفی شده است.