Affiliation:
1. Issy Les Moulineaux, France
Abstract
This article presents Ada Embedded Network, a small network stack intended to be used by small embedded Ada applications running on ARM. It implements the standard ARP, IPv4, UDP, DNS and DHCP protocols on top of an Ethernet driver. Its memory efficient design allows it to run on the STM32F746 board. The article presents the components from the Ada implementation point of view. It highlights the Ada features that have been used and shows some benefits of the Ravenscar profile that have helped the project.
Publisher
Association for Computing Machinery (ACM)
Reference12 articles.
1. S. Carrez "Ada embedded network " GitHub https://github.com/stcarrez/ada-enet 2017. S. Carrez "Ada embedded network " GitHub https://github.com/stcarrez/ada-enet 2017.
2. F. Chouteau P. Rogers J. Lambourg "Ada drivers library " GitHub https://github.com/AdaCore/Ada_Drivers_Library AdaCore 2017. F. Chouteau P. Rogers J. Lambourg "Ada drivers library " GitHub https://github.com/AdaCore/Ada_Drivers_Library AdaCore 2017.
3. OSI Reference Model--The ISO Model of Architecture for Open Systems Interconnection
4. J. Postel "Internet protocol " RFC 791 RFC Editor September 1981. J. Postel "Internet protocol " RFC 791 RFC Editor September 1981.