Embedded Software Development

Ivan Cibrario Bertolotti received the Laurea degree (summa cum laude) in computer science from the University of Torino, Turin, Italy, in 1996. Since then, he has been a researcher with the National Research Council of Italy (CNR). Currently, he is with the CNR's Institute of Electronics, Computer, and Telecommunication Engineering (IEIIT), Turin, Italy. His research interests include real-time operating system design and implementation, industrial communication systems and protocols, and formal methods for vulnerability and dependability analysis of distributed systems. His contributions in this area comprise both theoretical work and practical applications, carried out in cooperation with leading Italian and international companies. He taught several courses on real-time operating systems at Politecnico di Torino, Turin, Italy, from 2003 until 2013, as well as a PhD degree course at the University of Padova in 2009. He regularly serves as a technical referee for the main international conferences and journals on industrial informatics, factory automation, and communication. He has been an IEEE member since 2006.

This programmer-centric book delivers a practical introduction to embedded software development, with a focus on open-source components. It is written in a way that enables even novice practitioners to grasp the development process as a whole. Incorporating real code fragments and explicit open-source RTOS references throughout, the text defines the role and purpose of embedded systems, describing their internal structure and interfacing with software development tools. The book also covers advanced topics such as formal verification, model checking, runtime checks, memory protection, security, and dependability.

Introduction. Embedded Applications and Their Requirements. GCC-Based Software Development Tools. Execution Models for Embedded Systems. Concurrent Programming Techniques. Scheduling Algorithms and Analysis. Configuration and Usage of Open-Source Protocol Stacks. Device Driver Development. Portable Software. The FreeRTOS Porting Layer. Performance and Footprint at the Toolchain Level. Example: A Modbus TCP Device. Model Checking of Distributed and Concurrent Systems. Model Checking: An Example. Memory Protection Techniques. Security and Dependability Aspects.