دانلود کتاب Embedded systems and software validation (به فارسی: سیستم های تعبیه شده و اعتبار سنجی نرم افزار) نوشته شده توسط «Abhik Roychoudhury M.S. and Ph.D. in Computer Science from the State University of New York at Stony Brook»
اطلاعات کتاب سیستم های تعبیه شده و اعتبار سنجی نرم افزار
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Morgan Kaufmann Publishers/Elsevier
نویسنده: Abhik Roychoudhury M.S. and Ph.D. in Computer Science from the State University of New York at Stony Brook
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2009
تعداد صفحه: 266
حجم کتاب: 6 مگابایت
کد کتاب: 9780123742308 , 0123742307
توضیحات کتاب سیستم های تعبیه شده و اعتبار سنجی نرم افزار
سیستم‌های تعبیه‌شده مدرن به عملکرد بالا، هزینه کم و مصرف انرژی کم نیاز دارند. چنین سیستم‌هایی معمولاً از مجموعه‌ای ناهمگن از پردازنده‌ها، زیرسیستم‌های حافظه تخصصی و اجزای نیمه قابل برنامه‌ریزی یا با عملکرد ثابت تشکیل شده‌اند. این ناهمگونی، همراه با مسائلی مانند پارتیشن بندی سخت افزار/نرم افزار، نقشه برداری، زمان بندی و غیره، منجر به تعداد زیادی از امکانات طراحی می شود که اشکال زدایی عملکرد و اعتبارسنجی چنین سیستم هایی را به یک مشکل دشوار تبدیل می کند.
سیستم های جاسازی شده. برای کنترل برنامه های کاربردی حیاتی ایمنی مانند کنترل پرواز، الکترونیک خودرو و نظارت بر مراقبت های بهداشتی استفاده می شود. بدیهی است که توسعه نرم افزار/سیستم های قابل اعتماد برای چنین برنامه هایی از اهمیت بالایی برخوردار است. این کتاب مجموعه‌ای از روش‌های اشکال‌زدایی و راستی‌آزمایی را توصیف می‌کند که می‌تواند به دستیابی به این هدف کمک کند.
- سطوح انتزاعی اصلی طراحی سیستم‌های جاسازی شده، از تحلیل نرم‌افزار و مدل‌سازی ریزمعماری گرفته تا مدل‌سازی را پوشش می‌دهد. اشتراک منابع و ارتباطات در سطح سیستم؛
- تکنیک‌های رسمی اعتبارسنجی برای سخت‌افزار/نرم‌افزار را با اشکال‌زدایی و اعتبارسنجی جریان‌های طراحی سیستم تعبیه‌شده ادغام می‌کند؛
- شامل مطالعات موردی عملی برای پاسخگویی به سؤالات: آیا یک طرح الزامات خود را برآورده می کند، اگر نه، پس کدام بخش از سیستم مسئول تخلف هستند، و پس از شناسایی، چگونه باید طرح را به طور مناسب اصلاح کرد؟
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?
دانلود کتاب «سیستم های تعبیه شده و اعتبار سنجی نرم افزار»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.