Software fault injection in concurrent systems

Much efforts in software engineering are devoted to the validation of desired behaviors by the installed software. In operation, the software must interact with the hardware it runs an, receive various user inputs, and share resources with other software. it is impossible to simulate and test all such interactions for undesirable behaviors. Concurrent systems make finding such undesirable behaviors even harder, Many disasters are the result of unfortunate combinations of unforeseen sequence of events, which are sometimes called the act of nature's adversary. ill this paper, we attempt to inject such adversary behaviors into the system model through composition and demonstrate that undesirable behaviors can be systematically discovered through the aid of automated verification tools.