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