Embedded Systems and Software Validation

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

سیستم های تعبیه شده. برای کنترل برنامه های کاربردی حیاتی ایمنی مانند کنترل پرواز، الکترونیک خودرو و نظارت بر مراقبت های بهداشتی استفاده می شود. بدیهی است که توسعه نرم افزار/سیستم های قابل اعتماد برای چنین برنامه هایی از اهمیت بالایی برخوردار است. این کتاب مجموعه ای از روش های اشکال زدایی و تأیید را توصیف می کند که می تواند به دستیابی به این هدف کمک کند.

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

Modern embedded systems require high performance, low cost and low power consumption. Such systems typically consist of a heterogeneous collection of processors, specialized memory subsystems, and partially programmable or fixed-function components. This heterogeneity, coupled with issues such as hardware/software partitioning, mapping, scheduling, etc., leads to a large number of design possibilities, making performance debugging and validation of such systems a difficult problem.

Embedded systems are used to control safety critical applications such as flight control, automotive electronics and healthcare monitoring. Clearly, developing reliable software/systems for such applications is of utmost importance. This book describes a host of debugging and verification methods which can help to achieve this goal.

• Covers the major abstraction levels of embedded systems design, starting from software analysis and micro-architectural modeling, to modeling of resource sharing and communication at the system level
• Integrates formal techniques of validation for hardware/software with debugging and validation of embedded system design flows
• Includes practical case studies to answer the questions: does a design meet its requirements, if not, then which parts of the system are responsible for the violation, and once they are identified, then how should the design be suitably modified?