Trustworthy Execution of Industrial Agents
Zhongjie Wang, Mingyi Liu, Xiang He, Xiao Wang, Shuang Yu, Kai Wang
Abstract
Industrial agents increasingly modify persistent engineering objects rather than merely generate answers. Authentication and successful calls cannot establish whether intended changes occurred, evidence supports a conclusion, or historical results remain applicable. We present a framework for trustworthy industrial-agent execution within a single enterprise governance domain. Eight control domains assign responsibilities across authority, planning, composition, tool execution, actual effects, evidence, baseline and use governance, and recovery and evolution. A four-plane architecture and three control chains connect these responsibilities through typed objects and version-bound interfaces. The specification separates tool returns from actual engineering effects, evidence coverage from engineering judgment, and historical lifecycle state from current applicability. Multi-agent handoffs are an architectural extension examined through deterministic interface tests. Distinct prototypes examine selected mechanisms using conformance tests, ablations, uncertainty stress, CAD/CAE execution, and local persistence. An OpenFOAM fixture produces COMPLETE coverage with FAIL judgment; an expired-job case requires readmission despite completed computation. CAD and recovery counterexamples expose omitted mandatory checks, discarded negative facts, and inconsistent producer-consumer mappings. Targeted repairs support local regression conclusions. The reported 0/29 hazardous commits measure closed-set specification conformance, not a safety probability. We distinguish the complete framework, implemented paths, and empirical evidence, identifying check-inventory completeness and cross-module fact preservation as prerequisites for extending these results.
Create a lesson
Related papers
Are We Just Applying LLMs? What SE Research Studies, Underexplores, and Could Do Next in the LLM Era
Zeinadsadat Saghi, Sadra Sabouri, Souti Chattopadhyay
Testing Processor Contracts in Speculative Decoding Engines
Tianyu Ding, Yaocheng Tong, Muzhi Yang et al.
Supporting Viewpoint Coordination for Compliance by Design with an Artifact Model for Regulatory Requirements Engineering
Oleksandr Kosenkov, Davide Fucci, Michael Unterkalmsteiner et al.
DistDebug-Bench: Can LLM Agents Diagnose Bugs in Distributed Systems?
Yuxuan Jiang, Chenglin Liu, John Rose et al.
uTECH Turbo-MOVES: The Intersection of Software Architectural Innovation and Sustainable Mobility Analysis
Cafer Avcı, Alireza Yazdiani, Roopak Srinivasan et al.
Specification-Driven Governance for Fairness-by-Design in Agentic Software Engineering: How Far Can We Go?
Alfonso Cannavale, Alessandra Parziale, Valeria Pontillo et al.