Dynamic Verification & Validation

Challenge 

Traditionally, drilling automation functionalities are manually integrated under a single entity, with verification and validation performed prior to deployment. As the number of drilling automation solutions from diverse providers increases, ensuring seamless integration at the rig site becomes increasingly complex. The dynamic nature of multi-agent drilling automation—where agents may be added, removed, or replaced during operations—further challenges system reliability and coordination. 

Innovation 

To address these challenges, a framework has been developed to support dynamic, on-the-fly verification of the interplay in the multi-agent drilling automation systems. It accommodates real-time structural changes and inter-agent dependencies, enabling automated consistency checks that preserve reliability as system configurations evolve. 
Agents within a multi-agent system often rely not only on specific input data but also on functionalities provided by other agents. For instance, an agent optimizing the Rate of Penetration may depend on another to supply safe operating envelope parameters. While individual agents can be verified and validated before deployment, the distributed and interdependent nature of the system demands continuous online assessment to ensure all required data and capabilities remain available. 
This framework facilitates automated, real-time consistency checks, helping maintain system integrity and performance throughout drilling operations. 

Value 

This framework ensures consistent information flow across stakeholders in a multi-agent system. Its real-time verification and validation capabilities enable cross-vendor collaboration and detect inconsistencies as they arise. By supporting scalable, distributed automation, it helps maintain operational efficiency even under uncertain and changing conditions. 

Status 

First framework definition was provided. Possible use-cases were investigated and it was decided to proceed with the D-WIS demonstration use case. The D-WIS framework is being extended to allow for this. 

Next step 

• Apply to D-WIS demonstration use case, the framework for inconsistencies check when multiple advisors are present. 
• D-WIS demonstration using automatic generated ADCS functions that includes validation and verification. 

This work is part of the centres workpackage 5 Drilling automation and autonomy.