KIT | KIT-Bibliothek | Impressum | Datenschutz

Quantitative System Evaluation with DSPNexpress 2000

Waldhorst, Oliver P.; Lindemann, Christoph; Thümmler, Axel; Klemm, Alexander; Lohmann, Marco

Abstract (englisch):

This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UML), or other specification languages for discrete-event systems. Linking the DSPNexpress software to commercial UML design packages allows the effective computation of performance measures like throughput and delay for UML system specifications. The unique feature of DSPNexpress constitute numerical solvers or transient and steady-state analysis of generalized-semi Markov processes with exponential and deterministic events, which may be concurrently active. The applicability of the DSPNexpress software for practical performance and dependability projects is demonstrated by an UML specification of an alternating bit protocol. The computational effort required by DSPNexpress for transient and steady-state analysis is plotted for varying model size. Furthermore, a performance curve for a measure of interest is presented.

DOI: 10.1145/350391.350396
Zitationen: 8
Zitationen: 9
Zugehörige Institution(en) am KIT Institut für Telematik (TM)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2000
Sprache Englisch
Identifikator ISBN: 1-58113-195-X
KITopen-ID: 1000088138
Erschienen in 2nd International Workshop on Software and Performance (WOSP '00), Ottawa, Ontario, Canada, September 17-20, 2000
Verlag Association for Computing Machinery (ACM)
Seiten 12-17
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page