An Industrial Environment for High-Level Fault-Tolerant Structures Insertion and Validation