ترکیب نرم‌افزارهای توکار؛ چارچوب‌ها و روشهای درستی ساخت و ساز Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
- نوع فایل : کتاب
- زبان : انگلیسی
- نویسنده : Sandeep K. Shukla, Jean-Pierre Talpin
- ناشر : Springer
- چاپ و سال / کشور: 2010
- تعداد صفحه : 300
- شابک / ISBN : 9781441963994
توضیحات
نرم‌افزارهای توکار امروزه بسیار فراگیر شده‌اند. میلیون‌ها خط کد تعبیه شده در تلفن‌های هوشمند، وحتی بیشتر از آن در سیستم‌های مسئول کنترل خودرو، کنترل هوایی، کنترل تسلیحات و ماموریت‌های فضایی وجود دارد.
برخی از آن‌ها عبارتند از ایمنی سیستم‌های حیاتی که صحت، پاسخ به موقع و قابلیت‌های اطمینان از پارامترهای مهم آن هستند و این نیازها روز به روز بیشتر شده و چالش‌های جدیدی را برای طراحان سیستم در بر خواهد داشت. طراحی گزارش‌ها و ساخت نرم‌افزارهای توکار از راهی انجام می‌شود که توسعه آن حداقل و عملکرد صحیح آن حداکثر باشد.
این کتاب روشهای طراحی سیستم‌های ایمنی حساس در نرم‌افزارهای توکار را ارائه می‌دهد.
برخی از آن‌ها عبارتند از ایمنی سیستم‌های حیاتی که صحت، پاسخ به موقع و قابلیت‌های اطمینان از پارامترهای مهم آن هستند و این نیازها روز به روز بیشتر شده و چالش‌های جدیدی را برای طراحان سیستم در بر خواهد داشت. طراحی گزارش‌ها و ساخت نرم‌افزارهای توکار از راهی انجام می‌شود که توسعه آن حداقل و عملکرد صحیح آن حداکثر باشد.
این کتاب روشهای طراحی سیستم‌های ایمنی حساس در نرم‌افزارهای توکار را ارائه می‌دهد.
