Deper (Dependability and Performance Analyser).

DePer is a tool for automatic dependability and performance analysis of systems described through state machines. DePer takes in input (i) a system specification, (ii) dependability and performance requirements, and executes a stochastic model-based quantitative analysis to determine if the given system meets the required dependability and performance level. DePer is logically split into five main functional modules: Builder, Analyser, Evaluator, Enhancer and Updater. The Builder module derives the dependability model of the given system specification. The Analyser module uses the generated dependability model to perform a quantitative assessment of the given non-functional requirements. The Evaluator module checks the analysis results to determine if the non-functional requirements are met. If the requirements are not satisfied, the Evaluator activates the Enhancer module to determine possible solutions to improve the dependability level of given system. The Updater module is in charge of collecting data from run-time monitoring observations in order to refine the accuracy of model parameters through actual values.