The growing size and complexity of software in embedded systems poses new challenges to the safety assessment of embedded control systems. In industrial practice, the control software is mostly treated as a black box during the system's safety analysis. The appropriate representation of the failure propagation of the software is a pressing need in order to increase the accuracy of safety analyses. However, it also increase the effort for creating and maintaining the safety analysis models (such as fault trees) significantly. In this work, we present a method to automatically generate Component Fault Trees from Continuous Function Charts. This method aims at generating the failure propagation model of the detailed software specification. Hence, control software can be included into safety analyses without additional manual effort required to construct the safety analysis models of the software. Moreover, safety analyses created during early system specification phases can be verified by comparing it with the automatically generated one in the detailed specification phased.

翻译：嵌入系统中软件的日益扩大和复杂性给嵌入式控制系统的安全评估带来了新的挑战。在工业实践中,控制软件在系统安全分析期间大多被当作黑盒处理。软件故障传播的适当表述是提高安全分析准确性的一项迫切需要。然而,它也大大加强了创建和维护安全分析模型(如断层树)的努力。在这项工作中,我们提出了一个从连续功能图中自动生成“断层树”的方法。这种方法旨在生成详细的软件规格的故障传播模型。因此,控制软件可以纳入安全分析,而无需额外的人工努力来构建软件的安全分析模型。此外,在早期系统规格阶段创建的安全分析可以通过将它与详细规格阶段中自动生成的模型进行比较来核实。