Real-Time Maude Case Study: The NORM IETF Multicast Protocol Standard

By Elisabeth Lien

The specification of the negative-acknowledgment oriented reliable multicast (NORM) protocol is part of the ongoing work by the Internet Engineering Task Force (IETF) to standardize Internet protocols. NORM is defined as an IETF Internet-Draft and has been developed by B. Adamson, C. Bormann, M. Handley, and J. Macker.
The NORM protocol is designed to provide reliable, efficient, scalable, and "TCP-friendly" end-to-end multicast of bulk data objects or streams over generic IP multicast routing and forwarding services.

Elisabeth Lien has modeled and analyzed an earlier version of NORM, as part of the master's thesis work at the Department of Linguistics, University of Oslo.

Related Resources

  1. Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude.
    By Elisabeth Lien.
    Report, 2009.
    This is an extensive report on the Real-Time Maude specification and analysis of the NORM protocol.
  2. The NORM Home Page
  3. The June 2009 specification of NORM. Notice this should referred to as "work in progress".

The Executable Real-Time Maude 2.0 Specification of NORM
Notice: These files are supposed to run on Real-Time Maude 2.0, and not on the current version 2.3! The Real-Time Maude files:

Peter Ölveczky