ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Embedded software verification and debugging

دانلود کتاب تأیید و رفع اشکال نرم افزار تعبیه شده

Embedded software verification and debugging

مشخصات کتاب

Embedded software verification and debugging

ویرایش:  
نویسندگان: ,   
سری: Embedded systems (Springer (Firm)) 
ISBN (شابک) : 9781461422655, 1461422663 
ناشر: Springer 
سال نشر: 2017 
تعداد صفحات: 220 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 مگابایت

قیمت کتاب (تومان) : 50,000



کلمات کلیدی مربوط به کتاب تأیید و رفع اشکال نرم افزار تعبیه شده: مدارها و اجزاء، معماری کامپیوتر و طراحی منطق، نرم افزار کامپیوتر - تایید، اشکال زدایی در علوم کامپیوتر، مهندسی الکترونیک، سیستم های کامپیوتری جاسازی شده، تکنولوژی و مهندسی - مهندسی (عمومی)، فناوری و مهندسی - کتاب های مرجع، نرم افزار کامپیوتر -- تأیید، فناوری و مهندسی -- مهندسی (عمومی)، فناوری و مهندسی -- مرجع



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 7


در صورت تبدیل فایل کتاب Embedded software verification and debugging به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تأیید و رفع اشکال نرم افزار تعبیه شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب تأیید و رفع اشکال نرم افزار تعبیه شده

پیشگفتار؛ فهرست؛ مشارکت کنندگان؛ 1 مروری بر تکنیک های اشکال زدایی و تأیید برای نرم افزارهای جاسازی شده. 1.1 اهمیت فرآیندهای اشکال زدایی و تأیید. 1.2 پلتفرم های اشکال زدایی و تأیید؛ 1.2.1 شبیه سازی سیستم عامل. 1.2.2 پلت فرم مجازی. 1.2.3 شبیه سازی RTL; 1.2.4 شتاب / شبیه سازی; 1.2.5 نمونه سازی FPGA. 1.2.6 هیئت نمونه سازی؛ 1.2.7 انتخاب بستر مناسب برای توسعه نرم افزار و اشکال زدایی. 1.3 روش های اشکال زدایی. 1.3.1 اشکال زدایی تعاملی. 1.3.2 اشکال زدایی پس از فرآیند. 1.3.3 انتخاب روش صحیح اشکال‌زدایی؛ این کتاب پوشش جامعی از تکنیک‌های تأیید و اشکال‌زدایی برای نرم‌افزارهای تعبیه‌شده که اغلب در برنامه‌های کاربردی حیاتی ایمنی (مانند خودرو) استفاده می‌شود، ارائه می‌کند، جایی که خرابی‌ها غیرقابل قبول هستند. همچنین روندها و تکنیک های در حال ظهور را مورد بحث قرار می دهد.


توضیحاتی درمورد کتاب به خارجی

Foreword; Contents; Contributors; 1 An Overview About Debugging and Verification Techniques for Embedded Software; 1.1 The Importance of Debugging and Verification Processes; 1.2 Debugging and Verification Platforms; 1.2.1 OS Simulation; 1.2.2 Virtual Platform; 1.2.3 RTL Simulation; 1.2.4 Acceleration/Emulation; 1.2.5 FPGA Prototyping; 1.2.6 Prototyping Board; 1.2.7 Choosing the Right Platform for Software Development and Debugging; 1.3 Debugging Methodologies; 1.3.1 Interactive Debugging; 1.3.2 Post-Process Debugging; 1.3.3 Choosing the Right Debugging Methodology.;This book provides comprehensive coverage of verification and debugging techniques for the embedded software frequently used in safety-critical applications (e.g., automotive), where failures are unacceptable. It also discusses emerging trends and techniques.



فهرست مطالب

Foreword
 Contents
 Contributors
 1 An Overview About Debugging and Verification Techniques for Embedded Software
 1.1 The Importance of Debugging and Verification Processes
 1.2 Debugging and Verification Platforms
 1.2.1 OS Simulation
 1.2.2 Virtual Platform
 1.2.3 RTL Simulation
 1.2.4 Acceleration/Emulation
 1.2.5 FPGA Prototyping
 1.2.6 Prototyping Board
 1.2.7 Choosing the Right Platform for Software Development and Debugging
 1.3 Debugging Methodologies
 1.3.1 Interactive Debugging
 1.3.2 Post-Process Debugging
 1.3.3 Choosing the Right Debugging Methodology. 1.4 Verification Methodologies1.4.1 Verification Planning
 1.4.2 Verification Environment Development
 1.5 Summary
 References
 2 Embedded Software Debug in Simulation and Emulation Environments for Interface IP
 2.1 Firmware Debug Methods Overview
 2.2 Firmware Debuggability
 2.3 Test-Driven Firmware Development for Interface IP
 2.3.1 Starting Development
 2.3.2 First Functional Tests
 2.3.3 Debugging a System
 2.3.4 System Performance
 2.3.5 Interface IP Performance in a Full Featured OS Case
 2.3.6 Low Level Firmware Debug in a State-of-the-Art Embedded System. 2.4 Firmware Bring-up as a Hardware Verification Tool2.4.1 NAND Flash
 2.4.2 xHCI
 2.5 Playback Debugging with Cadence® Indago#x92
 Embedded Software Debugger
 2.5.1 Example
 2.5.2 Coverage Measurement
 2.5.3 Drawbacks
 2.6 Conclusions
 References
 3 The Use of Dynamic Temporal Assertions for Debugging
 3.1 Introduction
 3.1.1 DTA Assertions Versus Ordinary Assertions
 3.1.2 DTA Assertions Versus Conditional Breakpoints
 3.2 Debugging with DTA Assertions
 3.3 Design
 3.3.1 Past-Time DTA Assertions
 3.3.2 Future-Time DTA Assertions
 3.3.3 All-Time DTA Assertions
 3.4 Assertion\'s Evaluation. 3.4.1 Temporal Cycles and Limits3.4.2 Evaluation Log
 3.4.3 DTA Assertions and Atomic Agents
 3.5 Implementation
 3.6 Evaluation
 3.6.1 Performance
 3.7 Challenges and Future Work
 3.8 Conclusion
 References
 4 Automated Reproduction and Analysis of Bugs in Embedded Software
 4.1 Introduction
 4.2 Overview
 4.3 Debugger-Based Bug Reproduction
 4.3.1 State of the Art
 4.3.2 Theory and Algorithms
 4.3.3 Implementation
 4.3.4 Experiments
 4.4 Dynamic Verification During Replay
 4.4.1 State of the Art
 4.4.2 Theory and Workflow
 4.4.3 Implementation of Assertions During Replay
 4.4.4 Experiments. 4.5 Root-Cause Analyses4.5.1 State of the Art
 4.5.2 Theory and Concepts
 4.5.3 Implementation
 4.5.4 Experiments
 4.6 Summary
 References
 5 Model-Based Debugging of Embedded Software Systems
 5.1 Introduction
 5.1.1 Problem Statement
 5.1.2 Contribution
 5.2 Related Work
 5.3 Model-Based Debugging Framework
 5.3.1 Overview
 5.4 Runtime Monitoring
 5.4.1 Classification of Runtime Monitoring
 5.4.2 Time-and Memory-Aware Runtime Monitoring Approaches
 5.5 Experimental Evaluation
 5.5.1 Software Monitoring
 5.5.2 On-Chip (Software) Monitoring
 5.6 Performance Metrics
 5.6.1 Software Monitoring.




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی