کتابِ « اصول طراحی و توسعه نرم افزارهای مطمئن » تالیف دکتر رضا ابراهیمی آتانی عضو هیات علمی گروه مهندسی کامپیوتر دانشکده فنی و مهندس مهران علیدوست نیا دانش آموخته کارشناسی ارشد مهندسی کامپیوتر دانشگاه گیلان توسط انتشارات ناقوس منتشرشد.
کتاب حاضر بر پایه چندین سال مطالعه و تحقیق در حوزه امنیت و اطمینان پذیری در سیستم های کامپیوتری و همچنین چند سال تدریس در سطوح تحصیلات تکمیلی نوشته شده است.
این کتاب در دوازده فصل تالیف شده که اصول بنیادی در طراحی و توسعه امن سیستم های نرم افزاری را شامل می شود.
فصل های کتاب شامل: مقدمه ای بر طراحی نرم افزار های مطمئن تنوع طراحی در طراحی نرم افزارهای مطمئن تکنیک های تنوع طراحی در تحمل پذیری خطا برنامه نویسی N نسخه ای و چرخه مهندسی نرم افزار تکنیک های تنوع داده و پیشرفته در تحمل پذیری خطا مسائل معماری در طراحی نرم افزارهای مطمئن مدیریت استثناء ها در طراحی نرم افزارهای مطمئن مروری بر تکنیک های تحمل پذیری خطا در سیستم عامل روش های تست اطمینان نرم افزار مدل سازی تحمل پذیری خطا با رویکرد فضا-حالت طراحی سیستم های با قابلیت اتکا بالا تحمل پذیری خطا و وابستگی سخت افزاری