KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
Download
Originalveröffentlichung
DOI: 10.1145/350391.350396
Scopus
Zitationen: 7

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.


Zugehörige Institution(en) am KIT Institut für Telematik (TM)
Publikationstyp Proceedingsbeitrag
Jahr 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 ACM, New York (NY)
Seiten 12-17
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page