Book Image

Embedded Programming with Modern C++ Cookbook

By : Igor Viarheichyk
Book Image

Embedded Programming with Modern C++ Cookbook

By: Igor Viarheichyk

Overview of this book

Developing applications for embedded systems may seem like a daunting task as developers face challenges related to limited memory, high power consumption, and maintaining real-time responses. This book is a collection of practical examples to explain how to develop applications for embedded boards and overcome the challenges that you may encounter while developing. The book will start with an introduction to embedded systems and how to set up the development environment. By teaching you to build your first embedded application, the book will help you progress from the basics to more complex concepts, such as debugging, logging, and profiling. Moving ahead, you will learn how to use specialized memory and custom allocators. From here, you will delve into recipes that will teach you how to work with the C++ memory model, atomic variables, and synchronization. The book will then take you through recipes on inter-process communication, data serialization, and timers. Finally, you will cover topics such as error handling and guidelines for real-time systems and safety-critical systems. By the end of this book, you will have become proficient in building robust and secure embedded applications with C++.
Table of Contents (17 chapters)

Guidelines for Safety-Critical Systems

The requirements for the code quality of embedded systems are usually higher than in other software domains. Since lots of embedded systems work without supervision or control expensive industrial equipment, the cost of error is high. It becomes even higher in safety-critical systems where software or hardware failure may lead to injuries or even death. Software for such systems must follow specific guidelines that aim to minimize the chances of bugs not being found during the debugging and testing stages.

In this chapter, we'll explore some of the requirements and best practices for safety-critical systems through the following recipes:

  • Using the return values of all functions
  • Using static code analyzers
  • Using preconditions and postconditions
  • Exploring formal validation of code correctness

These recipes will help you understand...