ترکیب نرم‌ افزارهای توکار؛ چارچوب‌ها و روش‌های درستی ساخت و ساز

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