To content


  • HIT

  • HiQPN

  • APNN-Toolbox   

  • SLA Tool

* Text in English

  • Dogge

  • Dogge Pax

  • ProFiDo

Performance evaluation tools: Development and use

Parallel to the methodological work at the chair, the development and application of tools for model-based performance evaluation (LB) is continuously pursued. These tools enable the system evaluator to provide a problem-oriented system description, largely unencumbered by details of the various analysis techniques. The mapping of the model description to an analyzable model is done automatically. Tools developed at LS IV include:

HIT: (Postscript in english)

HIT is a modeling environment that allows modular and hierarchical specification of even large complex models that can be analyzed using simulation and a variety of exact and approximate, analytical and numerical techniques.

HiQPN: (Postscript in english)

The HiQPN tool supports the analysis of hierarchical QPN models. QPN models form a superset to colored GSPNs and queueing networks and can be analyzed with respect to both qualitative and quantitative aspects.

The APNN toolbox supports the functional (invariant calculation, liveness, model checking) and quantitative analysis (APNNsim, NSolve, Parallel, SupGSPN) of hierarchical GSPN models. The editor APNNed is used for the modeling of GSPNs. Furthermore, the analysis tools can be started from the editor and a subsequent visualization of the results is possible. The communication between APNNed and the analyzers is done via the textual exchange format APNN (Abstract Petri net notation).

The SLA Tool supports the efficient calculation of bounds in hierarchical systems for typical quantitative quantities in service level agreements (SLAs) such as response times. The calculation is based on the SLA specifications of the individual components. Furthermore, the tool calculates corresponding barriers for necessary service capacities that a service provider must provide in order to be able to guarantee the agreed SLAs.

ProFiDo is a graphical toolkit that supports a variety of tools for customizing and modeling arrival processes. ProFiDo is characterized by

  • a consistent use of command line oriented tools for customizing processes
  • a GUI for graphical creation of workflows
  • an XML format for describing stochastic processes
  • easy extensibility through an XML file for configuration of the GUI and converter scripts
  • an integrated tool for the creation of plots (density function, distribution function, autocorrelation, ...)

All tools have a graphical interface and are available for common workstations. They are widely tested and used, e.g. for the investigation of operating systems in the design stage, for the assessment of future hardware architectures, for the evaluation of distributed systems and telecommunication systems. They are equally suitable for the investigation of transport, manufacturing, logistic and similar systems. Systems. The practical usability of the tools is documented in a large number of external installations in universities, research institutes and industry.


To event list

Location & approach

The campus of the Technical University of Dortmund is located near the Dortmund West motorway junction, where the Sauerland line A45 intersects with the Ruhrschnellweg B1/A40. The Dortmund-Eichlinghofen exit on the A45 leads to the south campus, the Dortmund-Dorstfeld exit on the A40 to the north campus. The university is signposted at both exits.

The S-Bahn station "Dortmund Universität" is located directly on the north campus. From there, the S-Bahn line S1 runs every 15 or 30 minutes to Dortmund main station and in the opposite direction to Düsseldorf main station via Bochum, Essen and Duisburg. The university can also be reached by bus lines 445, 447 and 462. Timetable information can be found on the website of the Rhein-Ruhr transport association, and DSW21 also offers an interactive network map.

One of the landmarks of the TU Dortmund is the H-Bahn. Line 1 runs every 10 minutes between Dortmund Eichlinghofen and the Technology Center via Campus South and Dortmund University S, line 2 runs every 5 minutes between Campus North and Campus South. She covers this distance in two minutes.

From Dortmund Airport you can take the AirportExpress to Dortmund Central Station in around 20 minutes and from there you can take the S-Bahn to the university. Düsseldorf Airport, which is about 60 kilometers away, offers a larger range of international flight connections and can be reached directly by S-Bahn from the university train station.