This site contains some laboratory projects of real-time embbeded systems using Ada and some commercial ARM-based microcontrollers.

• Project repository

• GNAT Ada compilers at the AdaCore Community Site

• Getting started with the Ada Drivers Library device drivers

Real-Time Embedded systems

Real-time systems are computer systems that carry out some actions in specified time intervals. The most common forms of real-time specifications are:

• Execution patterns
  • Periodic actions, which are required to be executed at regular time intervals.
  • Sporadic actions, which are required to be executed whenever a given event occurs.
• Deadlines
  • A deadline specification marks the time by which an action must be completed. relative to the time when the action is released for execution.

Embedded systems are computer systems that perform information processing or control functions within a larger engineering system. Many embedded systems have real-time constraints.

Support and Contact

This site is maintained by Juan Antonio de la Puente and the STRAST research group.