Documents

Training Material

• CHESS Toolset User Guide (June 2016)
  The official user guide of the complete CHESS framework.
• CHESS-SBA Training Video and Training Slides (June 2016)
  A training video of CHESS-SBA, produced within the CONCERTO project, and the corresponding slides.

Project Deliverables

Public deliverables from CHESS and CONCERTO project are available on their respective websites:

• CHESS
• CONCERTO

The deliverables most relevant to CHESS-SBA are the following:

• CONCERTO D5.6 Use Case Evaluations - Final Version (May 2016)
  Deliverable 5.6 of the CONCERTO project, contains evaluations of the CHESS framework by industrial user and experts.
• CONCERTO D3.3 Design and Implementation of Analysis Methods for Non-Functional Properties - Final Version (November 2015)
  Deliverable 3.3 of the CONCERTO project, contains technical details on the implementation and usage of CHESS-SBA.
• CHESS D3.2.2 Transformations and Analysis Support to Dependability (December 2011)
  Deliverable 3.2.2 of the CHESS project, contains technical details on the implementation and usage of CHESS-SBA.

Publications

Publications related to the CHESS-SBA plugin are reported below. We list both the original publications about the conception and development of the plugin, as well as later ones on the application of the tool, extensions and integrations with other analysis techniques.

Strictly related to the CHESS-SBA plugin

• L. Montecchi, P. Lollini, A. Bondavalli. "A Reusable Modular Toolchain for Automated Dependability Evaluation". In: 7th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2013). Torino, Italy, December 10, 2013. pp. 298-303.

• L. Montecchi, P. Lollini, A. Bondavalli. "Towards a MDE Transformation Workflow for Dependability Analysis". In: 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2011). Las Vegas, NV, USA, April 29, 2011. pp. 157-166.

• L. Montecchi, P. Lollini, A. Bondavalli. "Dependability Concerns in Model-Driven Engineering". In: 2nd IEEE International Workshop on Object/Component/Service-Oriented Real-Time Networked Ultra-Dependable Systems (WORNUS 2011). Newport Beach, CA, USA, March 28, 2011. pp. 254-263.

Application of the tool and extensions

• M. de Araujo, L. da Silva, Á. Sobrinho, P. Cunha, L. Montecchi. "Reliability Analysis of Multi-parameter Monitoring Systems for Intensive Care Units". In: Reliability Engineering & System Safety, Vol. 226, pp. 1-12 (October 2022).

• L. Bressan, A. de Oliveira, F. Campos, L. Montecchi, R. Capilla, D. Parker, K. Aslansefat, Y. Papadopoulos. "Modeling the Variability of System Safety Analysis using State-Machine Diagrams". In: 8th International Symposium on Model-Based Safety and Assessment (IMBSA 2022), pp. 43-59. Munich, Germany, September 5-7, 2022.

• B. Gallina, L. Montecchi, A. de Oliveira, L. Bressan. "Multiconcern Dependability-Centered Assurance via Qualitative and Quantitative Coanalysis". In: IEEE Software, Vol. 39, Issue 4, pp. 39-47 (July 2022).

• L. Bressan, A. L. de Oliveira, L. Montecchi, B. Gallina. "A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence". In: 14th European Dependable Computing Conference (EDCC 2018). Iași, Romania, September 10-14, 2018. pp. 49-56.

• L. Montecchi, B. Gallina. "SafeConcert: a Metamodel for a Concerted Safety Modeling of Socio-Technical Systems". In: 5th International Symposium on Model-Based Safety and Assessment (IMBSA 2017). Trento, Italy, September 11, 2017. pp. 129-144.