Login



RELOAD - Rapid EvaLuation Of Anomaly Detectors PDF Print E-mail

RELOAD (Rapid EvaLuation Of Anomaly Detectors) is a tool that allows to easily compare different algorithms for anomaly detection. It is written in Java, wrapping algorithms coming from other Java-based frameworks such as ELKI or WEKA.

For further information, please refer to the Github WIKI.

Information about the tool can be found in the following papers:

  • Zoppi, T., Ceccarelli, A., & Bondavalli, A. (2019). Evaluation of Anomaly Detectors Made Easy with RELOAD. To appear at 30th International Symposium on Software Reliability Engineering (ISSRE 2019), Oct 2019.
  • Zoppi, T., Ceccarelli, A., & Bondavalli, A. (2019). MADneSs: a Multi-layer Anomaly Detection Framework for Complex Dynamic Systems. IEEE Transactions on Dependable and Secure Computing, DOI: 10.1109/TDSC.2019.2908366 (2019, May)
  • Falcão, F., Zoppi, T., Silva, C. B. V., Santos, A., Fonseca, B., Ceccarelli, A., & Bondavalli, A. (2019, April). Quantitative comparison of unsupervised anomaly detection algorithms for intrusion detection. In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing (pp. 318-327), ACM. DOI: 10.1145/3297280.3297314
 
CHESS State-Based Analysis (CHESS-SBA) PDF Print E-mail

The CHESS "State-Based Analysis" plugin is part of PolarSys CHESS, an open source methodology and tool for the development of high-integrity embedded systems. The CHESS methodology was devised and implemented initially in the CHESS project, later extended in the CONCERTO project, and then further developed within other projects.

This plugin performs Quantitative Dependability Analysis using a variant of the Stochastic Petri Nets formalism, starting from models specified in the CHESS ML language. The plugin is able to automatically compute system-level dependability metrics, based on dependability properties of individual components, and a description of the system, software, and/or hardware architecture.  

The whole CHESS Framework is released as open source and it is now an Eclipse project under the PolarSys Working Group. CHESS-SBA is also available on GitHub, jointly with an extensive wiki as documentation.

For more information please contact Leonardo Montecchi or Paolo Lollini.

 
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.

 
More Articles...
<< Start < Prev 1 2 Next > End >>

Page 1 of 2

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web