DOE OSTI · 2573601
An End-to-End Framework for Verifying and Validating Manufacturing Design Integrity
Abstract
Cyber attacks on networked automated manufacturing systems can severely impact part quality. In fact, malicious modifications may be introduced at any point during the manufacturing lifecycle. Therefore, it is vital to verify and validate that manufactured parts conform to their designs. This chapter describes a formal, end-to-end framework that verifies and validates the design integrity of manufactured parts by considering all potential points of alteration during precision manufacturing processes. The framework prevents unauthorized changes to computer-aided designs, verifies the correctness of translations from CAD models to G-code, maintains the integrity of G-code transferred to manufacturing machines, verifies the runtime execution of G-code and part geometry, and considers the contexts of manufacturing machine operations and how manufactured parts could be altered.
Keep this discovery
Explore connections, maps & timelines
Jablonski, Matthew [Cybersecurity Manufacturing Innovation Institute (CyManII)], Everett, Kyle [Cybersecurity Manufacturing Innovation Institute (CyManII)], Ciocarlie, Gabriela [CyManII], Duric, Zoran [Cybersecurity Manufacturing Innovation Institute (CyManII)], Hathhorn, Chris [Two Six Technologies], Kimmell, Calen [ORNL] (ORCID:0000000169262832), Orlyanchik, Vladimir [ORNL] (ORCID:0009000413099887), Prevost, John [Cybersecurity Manufacturing Innovation Institute (CyManII)], Robertson, Gordon [ORNL], Taylor, Curtis [ORNL] (ORCID:0000000222703538), Wijesekera, Duminda [CyManII], Saleeby, Kyle [Georgia Institute of Technology] (ORCID:0000000275238174). 2025-02-01. An End-to-End Framework for Verifying and Validating Manufacturing Design Integrity. https://doi.org/10.1007/978-3-031-81888-2_5
Cite the original work for its findings. Save a collection to share your selection of sources.