Leonardo Montecchi

Assistant Professor at Institute of Computing of UNICAMP
Laboratory for Software Engineering and Reliability (LASER)


CHESS State-Based Analysis (CHESS-SBA) Open Source

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. Our plugin, CHESS-SBA, is also available on GitHub, jointly with an extensive wiki documenting how to use it.

CHESS Statistical Trace Analyzer Open Source

CHESS Statistical Trace Analyzer

This software is used to analyze the statistical properties of run-time execution traces of different variables related to an execution platform. Its application domain is real-time safety-critical systems. It is used to analyze key variables like release jitter, execution time, etc., and devise probabilistic upper bounds, which are guaranteed to be respected with a given given coverage.

This tool has been developed within the CONCERTO project and it is released as open source. A precompiled binary is also available here, packaged as a runnable jar.

© 2017-2020 Leonardo Montecchi