Tools/Software
HIT
HiQPN
APNN-Toolbox
|
TLA:
TBR,
TEM,
RMC
|
|
|
Dogge, Dogge Pax
|
PE-Tools: Development and Usage
Parallel to our methodological work we continuously developed and used tools for performance evaluation (PE). Their intention is to provide facilities for a model description close to the original system specification and hiding details of the analysis techniques. Such tools map the model specification automatically to an analysable model. The set of tools developed by Informatik IV comprises amongst others
- HIT: (Postscript)
- The software tool HIT provides for model-based performance evaluation of computing and communication systems during all phases of their life cycle. Specification of (models of ) dynamic, discrete-event, stochastic systems is achieved by particular language- and graphics-based description options. Performance evaluation of accordingly specified models is supported by a variety of techniques of the simulative and analytical types.
- HiQPN: (Postscript)
- HiQPN-Tool supporting the analysis of hierarchical QPN models, a superset of Coloured GSPNs and Queueing Networks. These models can be analysed with respect to qualitative and quantitative aspects.
- APNN-Toolbox
-
The APNN-Toolbox is a software
package for functional (invariant, liveness, model checking) and quantitative analysis
(APNNsim, NSolve, Parallel, SupGSPN) of GSPNs. Modeling of GSPNs can be realized
with the editor APNNed. The editor can start the analysis tools and afterwards a visualization
of the results is possible.
The communication between APNNed and the analyzers takes place by a common exchange interface so-called Abstract Petri net notation (APNN).
All tools provide a graphical user interface and are available for usual type of workstations. They are tested exhaustively and have been employed for the evaluation of operating systems in the development phase, future hardware architectures, and the assessment of distributed and telecommunication systems. The tools also suit for an evaluation of flexible manufacturing systems. Their practical usability has been proved by a large number of external installations in universities, research institutes and industry.