Embedded Software Development

<p><strong>Embedded Software Development: The Open-Source Approach</strong> 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.</p><p>Incorporating real code fragments and explicit real-world open-source operating system references (in particular FreeRTOS) throughout the text:</p><ul> <li>Defines the role and purpose of embedded systems describing their internal structure and interfacing with software development tools</li> <li>Examines the inner workings of the GNU compiler collection (GCC)-based software development system or in other words toolchain</li> <li>Presents software execution models that can be adopted profitably to model and express concurrency</li> <li>Addresses the basic nomenclature models and concepts related to task-based scheduling algorithms</li> <li>Shows how an open-source protocol stack can be integrated in an embedded system and interfaced with other software components</li> <li>Analyzes the main components of the FreeRTOS Application Programming Interface (API) detailing the implementation of key operating system concepts</li> <li>Discusses advanced topics such as formal verification model checking runtime checks memory corruption security and dependability</li> </ul><p><strong>Embedded Software Development: The Open-Source Approach</strong> 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.</p>