Matthias Güdemann, Frank Ortmeier, Wolfgang Reif: Using Deductive Cause Consequence Analysis (DCCA) with SCADE. In: Proceedings of SAFECOMP 2007, Springer LNCS 4680, 2007.

Abstract

Esterel Technologies' SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical components of aerospace, automotive and transportation applications. For such systems safety analysis is a key requirement in the development process. In this paper we show how one formal safety analysis method -- Deductive Cause-Consequence Analysis (DCCA) -- can be integrated in the SCADE framework. This method allows for performing safety analysis mainly automatically. It uses SCADE's semantical model and SCADE's built in verification engine emphDesign Verifier. So the whole analysis can be done within one tool. This is of big importance, as a key feature for the acceptance of formal methods in broad engineering practice is, that they can be applied in an industrial development suite.

BibTeX (Download)

@inproceedings{DCCA-SCADE-SafeComp-07,
title = {Using Deductive Cause Consequence Analysis (DCCA) with SCADE},
author = {Matthias G\"{u}demann and Frank Ortmeier and Wolfgang Reif},
url = {https://pdfs.semanticscholar.org/3862/b1fefcfbd287635bfcdf69704dd6667a0480.pdf},
year  = {2007},
date = {2007-01-01},
booktitle = {Proceedings of SAFECOMP 2007},
publisher = {Springer LNCS 4680},
abstract = {Esterel Technologies' SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical components of aerospace, automotive and transportation applications. For such systems safety analysis is a key requirement in the development process. In this paper we show how one formal safety analysis method -- Deductive Cause-Consequence Analysis (DCCA) -- can be integrated in the SCADE framework. This method allows for performing safety analysis mainly automatically. It uses SCADE's semantical model and SCADE's built in verification engine emphDesign Verifier. So the whole analysis can be done within one tool. This is of big importance, as a key feature for the acceptance of formal methods in broad engineering practice is, that they can be applied in an industrial development suite.},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}