Tools
This page lists the tools developed within the project.
| Version: 1.0 Author: Prof. Antonio Puliafito - University of Messina Description: Argoperformance is a plugin of ArgoUML tool. Its intent is to permit the adding of performance annotations in to the UML diagrams to forecast performance problems from the early stages of Software Development Process. URL: http://mdslab.unime.it/ArgoPerformance WorkPackages: WP3 | |
| Author: Prof. Antonio Puliafito - University of Messina Description: WebSPN is a new modeling tool for the analysis of non-Markovian stochastic Petri nets. URL: http://mdslab.unime.it/webspn WorkPackages: WP4 Comment: WebSPN provides a discrete time approximation of the stochastic behaviour of the model which results in the possibility to analyse a wider class of Petri nets models with prd, prs and pri concurrently enabled generally distributed transitions. WebSPN makes wide use of Java technology, it was developed by Java 2 language and tested until version 1.3. This application was developed from Univesity of Messina Mathematics’ Department’s research group directed by prof. Antonio Puliafito. | |
| Author: F. Balidini; G. Bucci; F. Poli,L. Sassoli, E. Vicario - University of Firenze Description: ORIS comprises a set of tools for building, simulating, analyzing and validating Time Petri Net models. In particular, the semantics of Preemptive Time Petri Nets gives Oris the expressive power which permits the treatment of practical schedulability problems. As a result, Oris can be used to model complex tasking sets which include different release policies such as recurring, sporadic and one shot. It permits modelling of inter-task dependencies due to the timing of releases, to mutual exclusion on shared resources and dataflow precedence relations. It also enables modelling of internal sequencing of tasks and nondeterministic computation times. This applies to both the case of single and multiple processors systems. URL: http://www.stlab.dsi.unifi.it/oris/index.html WorkPackages: WP4 | |
| Version: 2.4 & 3.0 Author: Francesco Quaglia and Andrea Santoro - University of Roma "La Sapienza" Description: CCL is a C-library in support of optimistic parallel discrete event simulation (PDES) carried out on computer clusters connected by Myrinet networks. Beyond classical low latency message delivery functionalities, this library implements innovative, CPU offloaded, non-blocking checkpointing functionalities based on data transfer capabilities provided by a programmable DMA engine on board of Myrinet network cards. URL: http://www.dis.uniroma1.it/~quaglia/software/CCL/ WorkPackages: WP5 | |
| Version: 1.0 Author: M. Marzolla - University Ca' Foscari of Venezia Description: libcppsim is a process-oriented, discrete-event simulation library written in C++, similar to C++Sim. URL: http://www.dsi.unive.it/~perf/software.php WorkPackages: WP5 | |
| Version: 1.0 Author: S. Balsamo, M. Marzolla - University Ca' Foscari of Venezia Description: (UML Performance SImulator) is a software tool for performance evaluation of UML specifications. It is able to derive a process-oriented simulation model from annotated UML specifications, execute the model and compute performance measures. URL: http://www.dsi.unive.it/~perf/software.php WorkPackages: WP3 WP5 |