This site contains some laboratory projects of real-time embbeded systems using Ada and some commercial ARM-based microcontrollers.
-
GNAT Ada compilers at the AdaCore Community Site
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.