Resiliency verification of modular plants

A method for verifying process orchestration logic for a modular plant, the method comprising:

• generating a plant execution model representing the process orchestration logic for one or more control modules preforming services referenced in the process verification logic, the plant execution model comprising one or more service execution models representing services performed by the control modules, the plant execution model further comprising modeling communications between a first service execution model connected with a second service execution model;
• analyzing the plant execution model to identify one or more potential failure scenarios by analyzing error propagation communicated between the first and second service execution models;
• and
• generating one or more test cases based on the one or more identified failure scenarios,
• wherein the error propagation communicated between the first and second service execution models is an error transition associated with a state transition of the first and second service execution models.