IEEE - Institute of Electrical and Electronics Engineers, Inc. - A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence

2018 14th European Dependable Computing Conference (EDCC)

Author(s): Lucas Paiva Bressan ; Andre Luiz de Oliveira ; Leonardo Montecchi ; Barbara Gallina
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 September 2018
Conference Location: Ia?i, Romania, Romania
Conference Date: 10 September 2018
Page(s): 49 - 56
ISBN (Electronic): 978-1-5386-8060-5
DOI: 10.1109/EDCC.2018.00019
Regular:

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... View More

Advertisement