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.
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.
© 2017-2020 Leonardo Montecchi