Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Making reliable distributed systems in the presence of software errors
KTH, Tidigare Institutioner (före 2005), Mikroelektronik och informationsteknik, IMIT.
2003 (Engelska)Doktoravhandling, monografi (Annet vitenskapelig)
Abstract [en]

The work described in this thesis is the result of aresearch program started in 1981 to find better ways ofprogramming Telecom applications. These applications are largeprograms which despite careful testing will probably containmany errors when the program is put into service. We assumethat such programs do contain errors, and investigate methodsfor building reliable systems despite such errors.

The research has resulted in the development of a newprogramming language (called Erlang), together with a designmethodology, and set of libraries for building robust systems(called OTP). At the time of writing the technology describedhere is used in a number of major Ericsson, and Nortelproducts. A number of small companies have also been formedwhich exploit the technology.

The central problem addressed by this thesis is the problemof constructing reliablesystems from programs which maythemselves contain errors. Constructing such systems imposes anumber of requirements on any programming language that is tobe used for the construction. I discuss these languagerequirements, and show how they are satisfied by Erlang.

Problems can be solved in a programming language, or in thestandard libraries which accompany the language. I argue howcertain of the requirements necessary to build a fault-tolerantsystem are solved in the language, and others are solved in thestandard libraries. Together these form a basis for buildingfault-tolerant software systems.

No theory is complete without proof that the ideas work inpractice. To demonstrate that these ideas work in practice Ipresent a number of case studies of large commerciallysuccessful products which use this technology. At the time ofwriting the largest of these projects is a major Ericssonproduct, having over a million lines of Erlang code. Thisproduct (the AXD301) is thought to be one of the most reliableproducts ever made by Ericsson.

Finally, I ask if the goal of finding better ways to programTelecom applications was fulfilled --- I also point to areaswhere I think the system could be improved.

sted, utgiver, år, opplag, sider
Kista: Mikroelektronik och informationsteknik , 2003. , s. xii, 283
Serie
Trita-IMIT. LECS, ISSN 1651-4076 ; 03:09
Emneord [en]
reliable distributed systems software errors
Identifikatorer
URN: urn:nbn:se:kth:diva-3658ISBN: (tryckt)OAI: oai:DiVA.org:kth-3658DiVA, id: diva2:9492
Disputas
2003-12-05
Merknad
NR 20140805Tilgjengelig fra: 2003-11-27 Laget: 2003-11-27 Sist oppdatert: 2022-06-22bibliografisk kontrollert

Open Access i DiVA

fulltekst(882 kB)7367 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 882 kBChecksum SHA-1
a177007ac41a67a5648cf22af0915d71525eafbb90cb171b0c193de0cf1fb24bfb1fe46f
Type fulltextMimetype application/pdf

Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 7394 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

urn-nbn

Altmetric

urn-nbn
Totalt: 25642 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf