Conference Paper

A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence

PDF Online

Authors Lucas BressanAndré Luiz de OliveiraLeonardo MontecchiBarbara Gallina
Abstract
CHESS is an open source methodology and toolset for the development of safety-critical systems. More specifically, CHESS is a model-based methodology, which supports the design, dependability analysis, and code generation of critical systems. Despite its rather mature level in terms of technology readiness, systematic guidance needs to be developed to promote its usage for certification purposes. In this paper, we present a systematic process to guide designers and analysts in the usage of the CHESS toolset for model-based dependability analysis of safety-critical systems in compliance with ISO 26262 Parts 3 and 4, SAE ARP 4754A safety process, and DO-331 model-based development principles. We also have applied our process to a real world automotive hybrid braking system. The proposed process can be used to guide analysts in using CHESS methodology to support both system design and dependability analysis. Finally, we draw our conclusion and sketch future work.
DOI 10.1109/EDCC.2018.00019
Event 14th European Dependable Computing Conference (EDCC 2018)
Venue Iași, Romania
Date September 10-14, 2018
Pages 49-56
Publisher IEEE
 
 

© 2017-2019 Leonardo Montecchi