AXD 301: A new generation ATM switching system

Blau, Staffan; Rooth, J.; Axell, Jörgen; Hellstrand, Fiffi; Buhrgard, Magnus; Westin, Tommy; Wicklund, Göran

doi:10.1016/s0169-7552(98)00282-7

Cited by 31 publications

(32 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Since being developed, it has been used to implement some substantial business critical applications such as the Ericsson AXD 301 high capacity ATM switch [4]. Erlang is available under an Open Source licence from Ericsson, and its use has spread to a variety of sectors.…”

Section: Erlang and Otpmentioning

confidence: 99%

Verifying Erlang/OTP Components in μCRL

Guo

2007

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Erlang is a concurrent functional programming language with explicit support for real-time and fault-tolerant distributed systems. Generic components encapsulated as design patterns are provided by the Open Telecom Platform (OTP) library. Although Erlang has many highlevel features, verification is still non-trivial. One (existing) approach is to perform an abstraction of an Erlang program into the process algebra µCRL, upon which standard verification tools can be applied. In this paper we extend this work and propose a model that supports the translation of an OTP finite state machine design pattern into a µCRL specification. Then a standard toolset such as CADP can be applied in order to check properties that should hold for the system under development. Two small examples are presented, which experimentally show how the proposed model assists in model checking Erlang OTP components in µCRL.

show abstract

Section: Erlang and Otpmentioning

confidence: 99%

Verifying Erlang/OTP Components in μCRL

Guo

2007

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…Some example products built using Erlang/OTP are: AXD/301, a scalable ATM switching system [4], ANx, an ADSL delivery system [22], a switching hardware control system, a next-generation call center, and a suite of scalable internet servers from Bluetail. Since 1994, the annual Erlang User Conference is the principal forum for reporting work done in Erlang and provides a record of Erlang's evolving industrial use; additional information about Erlang applications can be obtained through the relevant pages at www.erlang.org.…”

Section: Named After the Danish Mathematician Agner Krarup Erlang (18mentioning

confidence: 99%

“…This did not enjoy much success probably due to lack of direct contact between the HiPE and the Mobility Server development teams. Luckily, two other Ericsson projects were using Erlang: AXD/301 [4], a scalable ATM switch, and ANx [22], an Asymmetric Digital Subscriber Line (ADSL) system. Both were medium-to-large projects with 100-200 people involved, and their software base consisted of large amounts of Erlang code (i.e., several hundreds of thousands of lines).…”

Section: Benchmarking and Performancementioning

confidence: 99%

“…In addition, we rewrote HiPE's code server and dynamic linker in C. In March 2000, HiPE version 0.92 was finally released as Open Source based on OSE version 47.4.1. 4 The released system consisted of about 30,000 lines of Erlang code and 3,000 lines of C and assembly code, added to an otherwise mostly unchanged JAM system. Its architecture is described in detail in Sect.…”

Section: Open Source Hipementioning

confidence: 99%

See 1 more Smart Citation

The development of the HiPE system: design and experience report

Johansson

Pettersson

Sagonas

et al. 2003

STTT

View full text Add to dashboard Cite

Abstract. The concurrent functional programming language Erlang has been designed to ease the development of large-scale distributed soft real-time control applications. So far, it has been used quite successfully in industry, both within Ericsson Telecom, where it was designed and developed, and by other companies. This "declarative language success-story" has taken place despite the fact that Erlang implementations are slow compared with implementations of other functional languages. Wanting to improve the performance aspects of publicly available Erlang implementations, which are based on emulators, we embarked on a project called HiPE (High-Performance Erlang) whose aim has been to develop an efficient just-in-time native code compiler for Erlang (called the HiPE system). Since its start in 1996, the system has gone through various (re-)design phases, partly due to implementation choices that did not turn out to be as promising as they appeared on paper, but mainly due to changes in Ericsson's Erlang system upon which the HiPE system is built. In this article, we describe how the HiPE system was developed, what it currently looks like, and its current performance. We critically examine design decisions that we took, and the main lessons learnt from implementing them. Finally, we also report on our experiences from trying to keep up with the concurrent development of Ericsson's base Erlang system. As such, this article both documents the HiPE system and can serve as possible guidance to anyone wishing to attempt a similar feat.

show abstract

“…SCCT is the time-critical portion of the code used by the Ericsson AXD 301 ATM switch [4] that is responsible for connection setup and teardown. A study [8] The HiPE research group has done a lot of memory management work in the Erlang virtual machine using a "shared heap" architecture [10].…”

Section: Related Workmentioning

confidence: 99%