Introduction to Embedded Systems Programming

This course will teach you the basics of the Embedded Systems Programming using Ada.

This document was written by Patrick Rogers, with review by Stephen Baird, Tucker Taft, Filip Gajowniczek, and Gustavo A. Hoffmann.

Note

The code examples in this course use an 80-column limit, which is a typical limit for Ada code. Note that, on devices with a small screen size, some code examples might be difficult to read.

Download PDF Download EPUB

Contents:

• Introduction
  • So, what will we actually cover?
  • Definitions
  • Down To The Bare Metal
  • The Ada Drivers Library
• Low Level Programming
  • Separation Principle
  • Guaranteed Level of Support
  • Querying Implementation Limits and Characteristics
  • Querying Representation Choices
  • Specifying Representation
  • Unchecked Programming
  • Data Validity
• Multi-Language Development
  • General Interfacing
    • Aspect/Pragma Convention
    • Aspect/Pragma Import and Export
    • Aspect/Pragma External_Name and Link_Name
    • Package Interfaces
  • Language-Specific Interfacing
    • Package Interfaces.C
    • Package Interfaces.C.Strings
    • Package Interfaces.C.Pointers
    • Package Interfaces.Fortran
    • Machine Code Insertions (MCI)
  • When Ada Is Not the Main Language
• Interacting with Devices
  • Non-Memory-Mapped Devices
  • Memory-Mapped Devices
  • Dynamic Address Conversion
  • Address Arithmetic
• General-Purpose Code Generators
  • Aspect Independent
  • Aspect Volatile
  • Aspect Atomic
  • Aspect Full_Access_Only
• Handling Interrupts
  • Background
  • Language-Defined Interrupt Model
  • Interrupt Handlers
  • Interrupt Management
  • Associating Handlers With Interrupts
  • Interrupt Priorities
  • Common Design Idioms
    • Parameterizing Handlers
    • Multi-Level Handlers
  • Final Points
• Conclusion