A domain specific language oriented to fault detection, isolation and recovery

Reliability of complex systems requires to take into account possible failures and strategies to detect and recover from system faults. This leads designers to consider models and algorithms capable of simulating and verifying fault detection, isolation and recovery (FDIR) strategies in different scenarios, characterized by uncertainty and partial information. Different solutions have been proposed. In this paper we present Trouble, a domain specific language aimed at describing and simulating troubleshooting algorithm. Different examples highlight advantages of such an approach.