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.
- S. Carrez, "Ada embedded network," GitHub https://github.com/stcarrez/ada-enet, 2017.Google Scholar
- F. Chouteau, P. Rogers, J. Lambourg, "Ada drivers library," GitHub https://github.com/AdaCore/Ada_Drivers_Library, AdaCore, 2017.Google Scholar
- H. Zimmermann, "Osi reference model-the iso model of architecture for open systems interconnection," IEEE Transactions on Communications, vol. 28, pp. 425--432, April 1980.Google Scholar
Cross Ref
- J. Postel, "Internet protocol," RFC 791, RFC Editor, September 1981.Google Scholar
- J. Postel, "Internet control message protocol," RFC 792, RFC Editor, September 1981. Google Scholar
Digital Library
- D. C. Plummer, "Ethernet address resolution protocol: Or converting network protocol addresses to 48.bit ethernet address for transmission on ethernet hardware," RFC 826, RFC Editor, November 1982. Google Scholar
Digital Library
- R. Droms, "Dynamic host configuration protocol," RFC 2131, RFC Editor, March 1997.Google Scholar
- P. Mockapetris, "Domain names - implementation and specification," RFC 1035, RFC Editor, November 1987. Google Scholar
Digital Library
- D. Mills, J. Martin, J. Burbank, and W. Kasch, "Network time protocol version 4: Protocol and algorithms specification," RFC 5905, RFC Editor, June 2010.Google Scholar
- J. Postel, "Echo protocol," RFC 862, RFC Editor, May 1983. Google Scholar
Digital Library
- Z. Shelby, K. Hartke, and C. Bormann, "The constrained application protocol (coap)," RFC 7252, RFC Editor, June 2014.Google Scholar
- E. Rescorla and N. Modadugu, "Datagram transport layer security version 1.2," RFC 6347, RFC Editor, January 2012.Google Scholar
Recommendations
A Real-Time Framework for Ada 2005 and the Ravenscar Profile
SEAA '09: Proceedings of the 2009 35th Euromicro Conference on Software Engineering and Advanced ApplicationsThis paper describes an object-oriented real-time framework for Ada 2005 and the Ravenscar profile. The framework uses the Ada 2005 real-time features implemented on the AVR32 UC3 microcontroller series to control the execution-time of tasks and ...
An upper bound model for TCP and UDP throughput in IPv4 and IPv6
Due to the shortage of public IPv4 addresses, the IETF has developed a new version of the Internet Protocol called IPv6. Many institutions all over the world had already started the migration to IPv6. Since this migration has to be done slowly, the ...
Performance study of the dual‐stack mobile IP protocols in the evolving mobile internet
The transition from IPv4 to IPv6 is an inexorable trend in the development of Internet. However, since IPv4 has been widely deployed for many years, it is mandatory that the existing IPv4 and the newly deployed IPv6 coexist and interoperate seamlessly. ...






Comments