Quantitative system evaluation with DSPNexpress 2000

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