A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A Model-Driven Safety Certification Method for Process Compliance
2014
2014 IEEE International Symposium on Software Reliability Engineering Workshops
A safety case is a contextualized structured argument constituted of process and product-based sub-arguments to show that a system is acceptably safe. The creation of a safety case is an extremely time-consuming and costly activity needed for certification purposes. To reduce time and cost, reuse as well as automatic generation possibilities represent urgent research directions. In this paper, we focus on safety processes mandated by prescriptive standards and we identify processrelated
doi:10.1109/issrew.2014.30
dblp:conf/issre/Gallina14
fatcat:blfpfjdsgnhndl2757cepgcqwq