IP Network Stack in Ada 2012 and the Ravenscar Profile

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.

• Publication year

  2018

• Venue

  ALET

• Publication date

  2018-06-13

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1145/3232693.3232706
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Contents Contents

  2019cited by this paper
• The Constrained Application Protocol (CoAP)

  2014cited by this paper
• Datagram Transport Layer Security Version 1.2

  2012cited by this paper
• Internet Engineering Task Force (ietf) Network Time Protocol Version 4: Protocol and Algorithms Specification

  2010cited by this paper
• Internet Control Message Protocol

  2006cited by this paper
• Domain names - implementation and specification

  1987cited by this paper
• Echo Protocol

  1983cited by this paper
• Ethernet Address Resolution Protocol: Or Converting Network Protocol Addresses to 48.bit Ethernet Address for Transmission on Ethernet Hardware

  1982influential reference
• Internet Protocol

  1981cited by this paper
• OSI Reference Model - The ISO Model of Architecture for Open Systems Interconnection

  1980cited by this paper

• No citing papers are available for this paper.