skip to main content
research-article

IP Network Stack in Ada 2012 and the Ravenscar Profile

Published:13 June 2018Publication History
Skip Abstract Section

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.

References

  1. S. Carrez, "Ada embedded network," GitHub https://github.com/stcarrez/ada-enet, 2017.Google ScholarGoogle Scholar
  2. F. Chouteau, P. Rogers, J. Lambourg, "Ada drivers library," GitHub https://github.com/AdaCore/Ada_Drivers_Library, AdaCore, 2017.Google ScholarGoogle Scholar
  3. 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 ScholarGoogle ScholarCross RefCross Ref
  4. J. Postel, "Internet protocol," RFC 791, RFC Editor, September 1981.Google ScholarGoogle Scholar
  5. J. Postel, "Internet control message protocol," RFC 792, RFC Editor, September 1981. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  7. R. Droms, "Dynamic host configuration protocol," RFC 2131, RFC Editor, March 1997.Google ScholarGoogle Scholar
  8. P. Mockapetris, "Domain names - implementation and specification," RFC 1035, RFC Editor, November 1987. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 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 ScholarGoogle Scholar
  10. J. Postel, "Echo protocol," RFC 862, RFC Editor, May 1983. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. Z. Shelby, K. Hartke, and C. Bormann, "The constrained application protocol (coap)," RFC 7252, RFC Editor, June 2014.Google ScholarGoogle Scholar
  12. E. Rescorla and N. Modadugu, "Datagram transport layer security version 1.2," RFC 6347, RFC Editor, January 2012.Google ScholarGoogle Scholar

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in

Full Access

  • Published in

    cover image ACM SIGAda Ada Letters
    ACM SIGAda Ada Letters  Volume 37, Issue 2
    December 2017
    59 pages
    ISSN:1094-3641
    DOI:10.1145/3232693
    Issue’s Table of Contents

    Copyright © 2018 Author

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 13 June 2018

    Check for updates

    Qualifiers

    • research-article
  • Article Metrics

    • Downloads (Last 12 months)1
    • Downloads (Last 6 weeks)0

    Other Metrics

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader
About Cookies On This Site

We use cookies to ensure that we give you the best experience on our website.

Learn more

Got it!