Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Using formal methods to scope performance challenges for Smart Manufacturing Systems: focus on agility

Published

Author(s)

Kiwook Jung, Katherine C. Morris, Kevin W. Lyons, Swee K. Leong, Hyunbo Cho

Abstract

Smart Manufacturing Systems (SMS) need to be agile to adapt to new situations by using detailed, precise, and appropriate data for intelligent decision-making. The intricacy of the relationship of strategic goals to operational performance across the many levels of a manufacturing system inhibits the realization of SMS. This paper proposes a method for identifying what aspects of a manufacturing system should be addressed to respond to changing strategic goals. The method uses standard modeling techniques in specifying a manufacturing system and the relationship between strategic goals and operational performance metrics. Two existing reference models related to manufacturing operations are represented formally and harmonized to support the proposed method. The method is illustrated for a single scenario using agility as a strategic goal.
Citation
Concurrent Engineering-Research and Applications
Volume
23
Issue
41

Keywords

Smart Manufacturing System, formal method, SCOR Model, SIMA Reference Architecture

Citation

Jung, K. , Morris, K. , Lyons, K. , Leong, S. and Cho, H. (2015), Using formal methods to scope performance challenges for Smart Manufacturing Systems: focus on agility, Concurrent Engineering-Research and Applications, [online], https://doi.org/10.1177/1063293X15603217 (Accessed May 11, 2021)
Created December 1, 2015, Updated November 10, 2018