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, https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=918901
(Accessed December 15, 2024)
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)
, , , , 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
Pub Type
Journals
Download Paper
Keywords
Smart Manufacturing System, formal method, SCOR Model, SIMA Reference Architecture
Citation
Issues
If you have any questions about this publication or are having problems accessing it, please contact reflib@nist.gov.
Created November 30, 2015, Updated October 12, 2021