Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
1 Services Kapitel lesen Erstes Kapitel lesen

2012 | OriginalPaper | Buchkapitel

12 Performance evaluation

verfasst von : Hartmut König

Erschienen in: Protocol Engineering

Verlag: Springer Berlin Heidelberg

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We are now approaching the implementation phase. The implementation begins with an implementation design that will be considered in detail in Chapter 13. During implementation design it may be useful to assess the expected performance behaviour of the designed protocol in the target execution environment. Implementers often require quantitative measures like throughput or response time to optimize their implementation and to reason about implementation alternatives.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel 11 Verification
Nächstes Kapitel 13 Implementation
Literatur
[Baus 93]
Bause, F.; Buchholz, P.: Qualitative and Quantitative Analysis of Timed SDL Specifications. In: Gerner, N.; Hegering, H.G.; Swoboda, J. (eds.): Communication in Distributed Systems. Informatik Aktuell. Springer, pp. 486-500, 1993.
[Bozg 01]
Bozga, M.; Graf, S.; Mounier L.; Ober, I. ; Roux, J.-L.; Vincent, D.: Timed Extensions for SDL. LNCS 2078, Springer, pp. 223-239, 2001.
[Büto 96]
Bütow, M.; Mestern, M; Schapiro, C.; Kritzinger, P. S.: Performance Modelling with the Formal Specification Language SDL. In: [Gotz 96a], pp. 213 - 228.
[FORTE]
Annual IFIP Working Conference on formal description techniques. In 1996 it was combined with PSTV (Protocol Specification, Testing and Verification). Today it belongs to the DISCOTEC conference series. Proceedings of the FORTE conference cited here are, for instance, [Gotz 96a], [Kim 01] and [Koni 03].
[Heck 91]
Heck, E.; Hogrefe, D.; Müller-Clostermann, B.: Hierarchical Performance Evaluation Based on Formally Specified Communication Protocols. IEEE Transactions on Computers 40 (1991) 4: 500 - 513.CrossRef
[Herm 98]
Hermanns, H.; Herzog, U.; Mertsiotakis, V.: Stochastic Process Algebras - Between LOTOS and Markov chains. Computer Networks and ISDN Systems 30 (1998): 901-924.CrossRef
[Hint 01]
Hintelmann, J.; Hofmann, R.; Lemmen, F.; Mitschele-Thiel, A.; Muller-Closter-mann, B.: Applying Techniques for the Performance Engineering of SDL Systems. Computer Networks 35 (2001): 647-665.CrossRef
[ISO 15437]
ISO, Information Technology - E-LOTOS. IS 15437, 2001
[Leon 97]
Leonard, L.; Leduc, G.: An Introduction to ET-LOTOS for the Description of Time-Sensitive Systems. Computer Networks and ISDN Systems 29 (1997): 271–292.CrossRef
[Mits 99]
Mitschele-Thiel, A.; Muller-Clostermann, B.: Performance engineering of SDL/MSC systems. Computer Networks 31 (1999): 1801-1815.CrossRef
[Mits 01]
Mitschele-Thiel, A.: Systems Engineering with SDL: Developing Performance-Critical Communication Systems. Wiley, New York, 2001.CrossRef
[Wet 05]
de Wet, N.; Kritzinger, P.S.: Using UML Models for the Performance Analysis of Network Systems. Computer Networks 49 (2005) 5: 627-642.CrossRef
[Woli 93]
Wolisz, A.: A Unified Approach to Formal Specification of Communication Protocols and Analysis of their Performance. SAMS 13 (1993): 59 - 88.
Metadaten
Titel
12 Performance evaluation
verfasst von
Hartmut König
Copyright-Jahr
2012
Verlag
Springer Berlin Heidelberg
Buch
Protocol Engineering

Print ISBN: 978-3-642-29144-9

Electronic ISBN: 978-3-642-29145-6

Copyright-Jahr: 2012

DOI
https://doi.org/10.1007/978-3-642-29145-6_12