Embedded Software Development —— The Open-Source Approach

----- 嵌入式软件开发:开源的方法

ISBN: 9781466593923 出版年：2017 页码：544 Bertolotti, Ivan Cibrario Hu, Tingting CRC Press

Introduction BASICS OF EMBEDDED SOFTWARE DEVELOPMENT Embedded Applications and Their Requirements Role and Purpose of Embedded Systems Microcontrollers and Their Internal Structure General-Purpose Processors versus Microcontrollers Embedded Software Development Process Summary GCC-Based Software Development Tools Overview Compiler Driver Workflow C Preprocessor Workflow The Linker The C Runtime Library Configuring and Building Open-Source Software Build Process Management: GNU Make Summary Execution Models for Embedded Systems The Cyclic Executive Major and Minor Cycles Task Splitting and Secondary Schedules Task-Based Scheduling Task State Diagram Race Conditions in Task-Based Scheduling Summary Concurrent Programming Techniques Task Management Time and Delays Semaphores Message Passing Summary Scheduling Algorithms and Analysis Scheduling Algorithms for Real-Time Execution Scheduling Analysis Summary Configuration and Usage of Open-Source Protocol Stacks Introduction to the LwIP Protocol Stack Operating System Adaptation Layer Configuration Options Netconn Interface Network Buffer Management POSIX Networking Interface Summary Device Driver Development General Structure of a Device Driver Interrupt Handling Device Driver Interfaces Synchronization Issues Example: Ethernet Device Driver Summary Portable Software Portability in Embedded Software Development Portability Issues in C-Language Development Application Programming Interfaces GCC Extensions to the C Language Summary The FreeRTOS Porting Layer General Information Basic Data Types Time Representation and Architectural Details Context Switch Interrupt Handling and Critical Regions Task Stack Initialization Tick Timer Architecture-Dependent Scheduler Startup Summary Performance and Footprint at the Toolchain Level Overview of the GCC Workflow and Optimizations Optimization-Related Compiler Options Architecture-Dependent Compiler Options Source-Level Optimization: A Case Study Summary Example: A Modbus TCP Device Toolchain and Operating System General Firmware Structure Modbus Slave Protocol Stack USB-Based Filesystem Application Code Performance and Footprint Summary ADVANCED TOPICS Model Checking of Distributed and Concurrent Systems Introduction The SPIN Model Checker The Promela Modeling Language Property Specification Performance Hints Summary Model Checking: An Example Introduction Distributed Master Election Protocol Formal Promela Protocol Model Formal Verification Results Summary Memory Protection Techniques Memory Management Units (MMUS) Memory Protection Units (MPUS) MPUS versus MMUS Memory Checksumming CRC Calculation Data Structure Marking Stack Management and Overflow Detection Summary Security and Dependability Aspects Introduction to Splint Basic Checks Memory Management Buffer Overflows Function Interface Annotations Summary References