An End-to-End Framework for Verifying and Validating Manufacturing Design Integrity

Matthew Jablonski; Kyle Everett; Gabriela Ciocarlie; Zoran Duric; Chris Hathhorn; Jeffrey Kimmell; Vladimir Orlyanchik; John Prevost; Gordon Robertson; Curtis Taylor; Duminda Wijesekera; Kyle Saleeby

doi:10.1007/978-3-031-81888-2_5

An End-to-End Framework for Verifying and Validating Manufacturing Design Integrity

Matthew Jablonski
, Kyle Everett
, Gabriela Ciocarlie
, Zoran Duric
, Chris Hathhorn
, Jeffrey Kimmell
, Vladimir Orlyanchik
, John Prevost
, Gordon Robertson
, Curtis Taylor
, Duminda Wijesekera
, Kyle Saleeby

Department of Computer Science

George Mason University
University of Texas at San Antonio
Oak Ridge National Laboratory
Georgia Institute of Technology

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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.

Original language	English
Title of host publication	Critical Infrastructure Protection XVIII - 18th IFIP WG 11.10 International Conference, ICCIP 2024, Proceedings
Editors	Jason Staggs, Sujeet Shenoi
Pages	85-109
Number of pages	25
DOIs	https://doi.org/10.1007/978-3-031-81888-2_5
State	Published - 2025
Event	18th IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2024 - Arlington, United States Duration: 18 Mar 2024 → 19 Mar 2024

Publication series

Name	IFIP Advances in Information and Communication Technology
Volume	725 IFIPAICT
ISSN (Print)	1868-4238
ISSN (Electronic)	1868-422X

Conference

Conference	18th IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2024
Country/Territory	United States
City	Arlington
Period	18/03/24 → 19/03/24

Keywords

Additive Manufacturing
Design Integrity
G-Code Verification
Subtractive Manufacturing

Access to Document

10.1007/978-3-031-81888-2_5

Cite this

Jablonski, M., Everett, K., Ciocarlie, G., Duric, Z., Hathhorn, C., Kimmell, J., Orlyanchik, V., Prevost, J., Robertson, G., Taylor, C., Wijesekera, D., & Saleeby, K. (2025). An End-to-End Framework for Verifying and Validating Manufacturing Design Integrity. In J. Staggs, & S. Shenoi (Eds.), Critical Infrastructure Protection XVIII - 18th IFIP WG 11.10 International Conference, ICCIP 2024, Proceedings (pp. 85-109). (IFIP Advances in Information and Communication Technology; Vol. 725 IFIPAICT). https://doi.org/10.1007/978-3-031-81888-2_5

Jablonski, Matthew ; Everett, Kyle ; Ciocarlie, Gabriela et al. / An End-to-End Framework for Verifying and Validating Manufacturing Design Integrity. Critical Infrastructure Protection XVIII - 18th IFIP WG 11.10 International Conference, ICCIP 2024, Proceedings. editor / Jason Staggs ; Sujeet Shenoi. 2025. pp. 85-109 (IFIP Advances in Information and Communication Technology).

@inproceedings{f432c82590704a5fa490fed449a35a8d,

title = "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.",

keywords = "Additive Manufacturing, Design Integrity, G-Code Verification, Subtractive Manufacturing",

author = "Matthew Jablonski and Kyle Everett and Gabriela Ciocarlie and Zoran Duric and Chris Hathhorn and Jeffrey Kimmell and Vladimir Orlyanchik and John Prevost and Gordon Robertson and Curtis Taylor and Duminda Wijesekera and Kyle Saleeby",

note = "Publisher Copyright: {\textcopyright} IFIP International Federation for Information Processing 2025.; 18th IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2024 ; Conference date: 18-03-2024 Through 19-03-2024",

year = "2025",

doi = "10.1007/978-3-031-81888-2\_5",

language = "English",

isbn = "9783031818875",

series = "IFIP Advances in Information and Communication Technology",

pages = "85--109",

editor = "Jason Staggs and Sujeet Shenoi",

booktitle = "Critical Infrastructure Protection XVIII - 18th IFIP WG 11.10 International Conference, ICCIP 2024, Proceedings",

}

Jablonski, M, Everett, K, Ciocarlie, G, Duric, Z, Hathhorn, C, Kimmell, J, Orlyanchik, V, Prevost, J, Robertson, G, Taylor, C, Wijesekera, D & Saleeby, K 2025, An End-to-End Framework for Verifying and Validating Manufacturing Design Integrity. in J Staggs & S Shenoi (eds), Critical Infrastructure Protection XVIII - 18th IFIP WG 11.10 International Conference, ICCIP 2024, Proceedings. IFIP Advances in Information and Communication Technology, vol. 725 IFIPAICT, pp. 85-109, 18th IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2024, Arlington, United States, 18/03/24. https://doi.org/10.1007/978-3-031-81888-2_5

An End-to-End Framework for Verifying and Validating Manufacturing Design Integrity. / Jablonski, Matthew; Everett, Kyle; Ciocarlie, Gabriela et al.
Critical Infrastructure Protection XVIII - 18th IFIP WG 11.10 International Conference, ICCIP 2024, Proceedings. ed. / Jason Staggs; Sujeet Shenoi. 2025. p. 85-109 (IFIP Advances in Information and Communication Technology; Vol. 725 IFIPAICT).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - An End-to-End Framework for Verifying and Validating Manufacturing Design Integrity

AU - Jablonski, Matthew

AU - Everett, Kyle

AU - Ciocarlie, Gabriela

AU - Duric, Zoran

AU - Hathhorn, Chris

AU - Kimmell, Jeffrey

AU - Orlyanchik, Vladimir

AU - Prevost, John

AU - Robertson, Gordon

AU - Taylor, Curtis

AU - Wijesekera, Duminda

AU - Saleeby, Kyle

N1 - Publisher Copyright: © IFIP International Federation for Information Processing 2025.

PY - 2025

Y1 - 2025

N2 - 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.

AB - 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.

KW - Additive Manufacturing

KW - Design Integrity

KW - G-Code Verification

KW - Subtractive Manufacturing

UR - https://www.scopus.com/pages/publications/105000246183

UR - https://www.scopus.com/pages/publications/105000246183#tab=citedBy

U2 - 10.1007/978-3-031-81888-2_5

DO - 10.1007/978-3-031-81888-2_5

M3 - Conference contribution

AN - SCOPUS:105000246183

SN - 9783031818875

T3 - IFIP Advances in Information and Communication Technology

SP - 85

EP - 109

BT - Critical Infrastructure Protection XVIII - 18th IFIP WG 11.10 International Conference, ICCIP 2024, Proceedings

A2 - Staggs, Jason

A2 - Shenoi, Sujeet

T2 - 18th IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2024

Y2 - 18 March 2024 through 19 March 2024

ER -

Jablonski M, Everett K, Ciocarlie G, Duric Z, Hathhorn C, Kimmell J et al. An End-to-End Framework for Verifying and Validating Manufacturing Design Integrity. In Staggs J, Shenoi S, editors, Critical Infrastructure Protection XVIII - 18th IFIP WG 11.10 International Conference, ICCIP 2024, Proceedings. 2025. p. 85-109. (IFIP Advances in Information and Communication Technology). doi: 10.1007/978-3-031-81888-2_5