Back to results
US 2023/0121753 A1Published application
Resiliency Verification of Modular Plants
AssigneeABB Schweiz AG
InventorsSantonu Sarkar, Mario Hoernicke, Nicolai Schoch, Katharina Stark
Life of this patent
Estimating the term…
Abstract
A method for verifying process orchestration logic for a modular plant includes generating a plant execution model representing the process orchestration logic; analyzing the plant execution model to identify one or more potential failure scenarios; and generating one or more test cases based on the one or more identified failure scenarios.
Claims13
A method for verifying process orchestration logic for a modular plant, the method comprising:
- generating a plant execution model representing the process orchestration logic;
- analyzing the plant execution model to identify one or more potential failure scenarios;
- and
- generating one or more test cases based on the one or more identified failure scenarios.
1 more element
Dependencies are inferred from the claim text.