Aug 2026· 2026 IEEE International Conference on Mechatronics and Automation (ICMA)· pp. 278-283· 0 citations· 10 references
Abstract
To address common quality problems in petroleum industrial control programs during function block reuse and engineering implementation, such as non-standard naming, missing comments, hard-coded numeric literals, and hidden cross-module dependencies, this paper proposes a rule-driven static diagnosis and structured refactoring framework for IEC 61131-3 control programs. Based on XML-based structured representation, the proposed method formalizes program governance requirements, including naming consistency, code quality integrity, and module structural safety, into executable rules. It enables unified identification of quality issues at the interface, content, and structural levels of control programs, and performs structured refactoring for problems with clearly defined correction boundaries. Experimental results show that the proposed method can effectively identify typical quality defects and improve the standardization, maintainability, and reviewability of control programs while preserving program semantic stability. The study provides a practical governance approach for industrial control program quality management and function block engineering management.
A controllability-oriented AI framework for certification technical review by integrating LLMs with retrieval-augmented generation (RAG), a certification knowledge graph, and a rule engine is proposed, offering an interpretable and deployable pathway for AI-assisted technical review in certification and other high resp...
Hai-Zhou Wang, Yuan-Zhe Li· International Conference on...· 0 citations
This work proposes a requirement-oriented normalization method using controlled natural language and large-language-model-based prompt engineering to strengthen semantic representation and mitigate semantic divergence in source code requirements.
Luoyuan Shi, Yuan-Zhao Zhai, Da-Wei Feng et al.· 0 citations
Large language models generate code effectively but falter in enterprise settings that demand complex business rules, particularly in rule consistency and conflict detection. This study proposes the Atomic Logic Sheet (ALS), a structured representation of business logic, injected through the Hierarchical Business Logic...
Man-Su Kim, Museong Choi, Miseon Shim et al.· Electronics· 0 citations
The results support the feasibility of ontology-driven generation for static-classification systems, whereas arithmetic risk computation and temporal event processing remain better suited to complementary procedural technologies.
Borivoj Bogdanović, S. Nikolić· Computers· 0 citations
Abstract—Federal and regulated organizations continue to rely on document-centric Authorization to Operate (ATO) processes even as the NIST Risk Management Framework (RMF), continuous monitoring guidance, Zero Trust Architecture (ZTA), and continuous authorization initiatives require more continuous, evidence-driven ri...
Anand Janjal· Journal of Cybersecurity Edu...· 0 citations
Organisations rely on ISO/IEC 27001 to structure information security management, yet controls and Privacy by Design guidance are typically documented in heterogeneous, unstructured forms that impede cross-framework comparability. Existing taxonomies and ontologies are predominantly manual, static, and do not support a...
Mevre Tunca, Ann-Jacqueline Kaldjob, Laura Porbadnik et al.· International Symposium on N...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.