Login



CHESS Statistical Trace Analyzer PDF Print E-mail

This software is used to analyze the statistical properties of run-time execution traces of different variables. Its application domain is real-time safety-critical systems. Key variables like release jitter, execution time, etc. are analyzed to devise probabilistic upper bounds, which are guaranteed to be respected with a given given coverage. This tool is part of the CHESS Framework, and it has been developed within the CONCERTO project.

The tool is released as open source, and available on GitHub:
https://github.com/montex/it.unifi.rcl.chess.traceanalysis

A precompiled binary is also available here, packaged as a runnable jar.

For more information please contact Leonardo Montecchi or Paolo Lollini.

 
SOA Testing Service PDF Print E-mail

Service Oriented Architectures (SOAs) are increasingly being used to support the information infrastructures of organizations. SOAs are dynamic and evolve after deployment in order to adapt to changes in the requirements and infrastructure. Consequently, traditional validation approaches based on offline testing conducted before deployment are not adequate anymore, demanding for new approaches that allow testing the SOA during its whole lifecycle. We present a SOA testing approach based on a composite service that is able to trace SOA evolution and automatically test the various services according to specific testing policies.

You can download here a prototypal implementation of the SOA testing service presented in the paper "A Testing Service for Lifelong Validation of Dynamic SOA" (submitted).

To install and use the testing service, please refer to the readme file contained in the archive.

For information and comments, please contact Andrea Ceccarelli .

 
NekoC PDF Print E-mail

NekoC is an extension of the Neko framework that allows to simply integrate in the Java tool legacy algorithms written in C/C++ as Neko layers.

The tool is described in this paper: Qualitative and Quantitative Validation of Legacy Distributed Algorithms through NekoC

From here you can download the sources of NekoC with the case of study depicted in the paper. To use NekoC you need to install also the Neko tool and Jace. Some piece of code are specific for gcc compiler on Linux, but could be quite easily portable to other OSs and compilers.

The persons involved in the NekoC project are:

  • Giuseppina Bastone
  • Lorenzo Falai
  • Andrea Bondavalli

If you want more informations about the NekoC project, please write to Lorenzo Falai.

 
NekoStat PDF Print E-mail

NekoStat Logo

NekoStat is an extension to the Neko tool that allows to perform quantitative evalutation of distributed algorithms.

To use NekoStat, download the latest version (NekoStat 0.8) and recall that you have to install also the Neko tool.

For NekoStat install guide and tutorial, please refer to the following documents:


 
DEEM PDF Print E-mail

DEpendability Modeling and Evaluation of Multiple Phased SystemsDEEM Logo


DEEM is a software package for model-based evaluation of dependability attributes of Multiple Phased Systems (MPS), a quite general class of systems including Phased Mission Systems (PMS) and Scheduled Maintenance Systems (SMS).

To get more info, please visit the DEEM web site.

 



Resilient Computing Lab, 2011

Joomla - Realizzazione siti web