A computer based method for a reusable functional failure test for a specific technical system, e.g., a traffic light system is provided. The method avoids inconsistencies in the functional failure test and reuses items of the respective data structures. Furthermore, the embodiment can identify components or electronic devices that do exceed assumed failure rates and that might be repaired or replaced to keep implementations of the specific technical in the desired failure rate limitations of the analysis, which can be done during the operation of the specific technical system.