مشخصات کتاب

Embedded software development : the open-source approach

ویرایش:  
نویسندگان: Bertolotti. Ivan Cibrario,  Hu. Tingting  
سری: Embedded systems (CRC Press) 
ISBN (شابک) : 9781466593930, 1466593938 
ناشر: CRC Press 
سال نشر: 2016 
تعداد صفحات: 544 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 11 مگابایت 

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد

کلمات کلیدی مربوط به کتاب توسعه نرم افزار جاسازی شده: رویکرد منبع باز: سیستم های کامپیوتری تعبیه شده نرم افزار کامپیوتر -- توسعه کامپیوتر / توسعه نرم افزار و مهندسی / تجزیه و تحلیل و طراحی سیستم ها

در صورت تبدیل فایل کتاب Embedded software development : the open-source approach به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب توسعه نرم افزار جاسازی شده: رویکرد منبع باز

توسعه نرم‌افزار جاسازی شده: رویکرد منبع باز مقدمه‌ای عملی برای توسعه نرم‌افزار تعبیه‌شده با تمرکز بر اجزای منبع باز ارائه می‌دهد. این کتاب برنامه نویس محور به گونه ای نوشته شده است که حتی پزشکان تازه کار را قادر می سازد تا فرآیند توسعه را به طور کلی درک کنند. ترکیب قطعات کد واقعی و ارجاعات صریح و واقعی سیستم عامل منبع باز (به ویژه FreeRTOS) در سراسر متن: نقش و هدف سیستم های تعبیه شده را تعریف می کند، ساختار داخلی آنها را توصیف می کند و ارتباط با ابزارهای توسعه نرم افزار را بررسی می کند. سیستم توسعه نرم‌افزار مبتنی بر مجموعه کامپایلر گنو (GCC) یا به عبارت دیگر، زنجیره ابزار، مدل‌های اجرای نرم‌افزار را ارائه می‌دهد که می‌توانند به طور سودآور برای مدل‌سازی و بیان همزمانی استفاده شوند. نشان می دهد که چگونه یک پشته پروتکل منبع باز می تواند در یک سیستم تعبیه شده ادغام شود و با سایر اجزای نرم افزار ارتباط برقرار کند. اجزای اصلی رابط برنامه نویسی برنامه کاربردی FreeRTOS (API) را تجزیه و تحلیل می کند، جزئیات پیاده سازی مفاهیم کلیدی سیستم عامل را شرح می دهد. درباره موضوعات پیشرفته مانند تأیید رسمی بحث می کند. ، بررسی مدل، بررسی زمان اجرا، خرابی حافظه، امنیت و قابلیت اطمینان توسعه نرم افزار جاسازی شده: رویکرد منبع باز بر تحقیقات گسترده نویسندگان در مورد سیستم عامل ها و ارتباطات بلادرنگ مورد استفاده در برنامه های کاربردی تعبیه شده، که اغلب با همکاری دقیق انجام می شود، سرمایه گذاری می کند. صنعت. بنابراین، کتاب به عنوان سکوی پرشی برای تحقیقات بیشتر عمل می کند.

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

Embedded Software Development: The Open-Source Approach delivers a practical introduction to embedded software development, with a focus on open-source components. This programmer-centric book is written in a way that enables even novice practitioners to grasp the development process as a whole. Incorporating real code fragments and explicit, real-world open-source operating system references (in particular, FreeRTOS) throughout, the text: Defines the role and purpose of embedded systems, describing their internal structure and interfacing with software development tools Examines the inner workings of the GNU compiler collection (GCC)-based software development system or, in other words, toolchain Presents software execution models that can be adopted profitably to model and express concurrency Addresses the basic nomenclature, models, and concepts related to task-based scheduling algorithms Shows how an open-source protocol stack can be integrated in an embedded system and interfaced with other software components Analyzes the main components of the FreeRTOS Application Programming Interface (API), detailing the implementation of key operating system concepts Discusses advanced topics such as formal verification, model checking, runtime checks, memory corruption, security, and dependability Embedded Software Development: The Open-Source Approach capitalizes on the authors’ extensive research on real-time operating systems and communications used in embedded applications, often carried out in strict cooperation with industry. Thus, the book serves as a springboard for further research.

فهرست مطالب

Content: IntroductionBASICS OF EMBEDDED SOFTWARE DEVELOPMENTEmbedded Applications and Their RequirementsRole and Purpose of Embedded Systems Microcontrollers and Their Internal StructureGeneral-Purpose Processors versus Microcontrollers Embedded Software Development Process SummaryGCC-Based Software Development ToolsOverviewCompiler Driver WorkflowC Preprocessor WorkflowThe Linker The C Runtime LibraryConfiguring and Building Open-Source SoftwareBuild Process Management: GNU Make SummaryExecution Models for Embedded SystemsThe Cyclic ExecutiveMajor and Minor CyclesTask Splitting and Secondary Schedules Task-Based SchedulingTask State DiagramRace Conditions in Task-Based Scheduling SummaryConcurrent Programming TechniquesTask ManagementTime and Delays SemaphoresMessage Passing SummaryScheduling Algorithms and AnalysisScheduling Algorithms for Real-Time Execution Scheduling Analysis SummaryConfiguration and Usage of Open-Source Protocol StacksIntroduction to the LwIP Protocol Stack Operating System Adaptation Layer Configuration Options Netconn InterfaceNetwork Buffer Management POSIX Networking InterfaceSummaryDevice Driver DevelopmentGeneral Structure of a Device Driver Interrupt Handling Device Driver Interfaces Synchronization Issues Example: Ethernet Device Driver SummaryPortable SoftwarePortability in Embedded Software Development Portability Issues in C-Language Development Application Programming InterfacesGCC Extensions to the C Language SummaryThe FreeRTOS Porting LayerGeneral InformationBasic Data Types Time Representation and Architectural DetailsContext SwitchInterrupt Handling and Critical RegionsTask Stack InitializationTick Timer Architecture-Dependent Scheduler Startup SummaryPerformance and Footprint at the Toolchain LevelOverview of the GCC Workflow and Optimizations Optimization-Related Compiler OptionsArchitecture-Dependent Compiler OptionsSource-Level Optimization: A Case StudySummaryExample: A Modbus TCP DeviceToolchain and Operating SystemGeneral Firmware Structure Modbus Slave Protocol StackUSB-Based Filesystem Application CodePerformance and Footprint SummaryADVANCED TOPICSModel Checking of Distributed and Concurrent SystemsIntroductionThe SPIN Model Checker The Promela Modeling LanguageProperty SpecificationPerformance Hints SummaryModel Checking: An ExampleIntroductionDistributed Master Election Protocol Formal Promela Protocol ModelFormal Verification Results SummaryMemory Protection TechniquesMemory Management Units (MMUS) Memory Protection Units (MPUS) MPUS versus MMUSMemory Checksumming CRC CalculationData Structure Marking Stack Management and Overflow Detection SummarySecurity and Dependability AspectsIntroduction to SplintBasic ChecksMemory ManagementBuffer Overflows Function Interface Annotations SummaryReferences

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

کتاب های تصادفی

دانلود کتاب Understanding GIS: An Arcgis(r) Pro Project Workbook

دانلود کتاب Goof-Proof Personal Finance

دانلود کتاب The Divine Comedy 1: Inferno

دانلود کتاب Structural Nanocrystalline Materials: Fundamentals and Applications

دانلود کتاب Kádár demokráciája. Politikai ideológia és társadalmi utópia a Kádár-korszakban