Ricerca Resilient Computing LabOur LabSoftware

Main software developed and released through the years

Emulation of Camera Failures

A python library that aims to simulate failures that may occur in a camera during the acquisition/processing phase.

To support the definition of safe and robust vehicle architectures and intelligent systems, we define the failures model of a vehicle camera, together with an analysis of effects and known mitigations. As a natural consequence, here we present a software library for the generation of the corresponding failed images. These images are then fed the trained agent of an autonomous driving simulator: the misbehavior of the trained agent allows a better understanding of failures effects and especially of the resulting safety risk.

Github is available at: https://github.com/francescosecci/Python_Image_Failures

More information:

Secci, Francesco, and Andrea Ceccarelli. "On failures of RGB cameras and their effects in autonomous driving applications." 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE). IEEE, 2020.
Ceccarelli, Andrea, and Francesco Secci. "RGB cameras failures and their effects in autonomous driving applications." IEEE Transactions on Dependable and Secure Computing (2022).

RELOAD - Rapid EvaLuation Of Anomaly Detectors

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)

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 Paolo Lollini.

CHESS Statistical Trace Analyzer

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