SDCworks: a formal framework for software defined control of smart manufacturing systems
Pages 88 - 97
Abstract
Discrete manufacturing systems are complex cyber-physical systems (CPS) and their availability, performance, and quality have a big impact on the economy. Smart manufacturing promises to improve these aspects. One key approach that is being pursued in this context is the creation of centralized software-defined control (SDC) architectures and strategies that use diverse sensors and data sources to make manufacturing more adaptive, resilient, and programmable. In this paper, we present SDCWorks---a modeling and simulation framework for SDC. It consists of the semantic structures for creating models, a baseline controller, and an open source implementation of a discrete event simulator for SDCWorks models. We provide the semantics of such a manufacturing system in terms of a discrete transition system which sets up the platform for future research in a new class of problems in formal verification, synthesis, and monitoring. We illustrate the expressive power of SDCWorks by modeling the realistic SMART manufacturing testbed of University of Michigan. We show how our open source SDCWorks simulator can be used to evaluate relevant metrics (throughput, latency, and load) for example manufacturing systems.
References
[1]
The Executive Office of the President, "Making in America: U.S. manufacturing entrepreneurship and innovation," White House, Tech. Rep., June 2014.
[2]
M. Ahmad and N. Dhafr, "Establishing and improving manufacturing performance measures," Robotics and Computer-Integrated Manufacturing, vol. 18, no. 3-4, pp. 171 -- 176, 2002, 11th International Conference on Flexible Automation and Intelligent Manufacturing. {Online}. Available: http://www.sciencedirect.com/science/article/pii/S0736584502000078
[3]
National Cybersecurity and Communications Integration Center, "Ics-cert year in review," Department of Homeland Security, https://ics-cert.us-cert.gov/, Tech. Rep., 2014.
[4]
T. McDermott and A. Wolfson, "Manufacturing - a persistent and prime cyber attack target," Cohn Reznick, http://www.cohnreznick.com/manufacturing-persistent-and-prime-cyber-attack-target, Tech. Rep., September 26 2014.
[5]
K. Zetter, "A cyberattack has caused confirmed physical damage for the second time ever," Wired, January 2015.
[6]
K. Hon, "Performance and evaluation of manufacturing systems," CIRP Annals-Manufacturing Technology, vol. 54, no. 2, pp. 139--154, 2005.
[7]
P. Jonsson and M. Lesshammar, "Evaluation and improvement of manufacturing performance measurement systems-the role of oee," International Journal of Operations & Production Management, vol. 19, no. 1, pp. 55--78, 1999.
[8]
M. M. Ahmad and N. Dhafr, "Establishing and improving manufacturing performance measures," Robotics and Computer-Integrated Manufacturing, vol. 18, no. 3, pp. 171--176, 2002.
[9]
N. McKeown, T. Anderson, H. Balakrishnan, G. Parulkar, L. Peterson, J. Rexford, S. Shenker, and J. Turner, "Openflow: enabling innovation in campus networks," ACM SIGCOMM Computer Communication Review, vol. 38, no. 2, pp. 69--74, 2008.
[10]
A. A. Desrochers and R. Y. Al-Jaar, Applications of Petri nets in manufacturing systems: modeling, control, and performance analysis. IEEE, 1995.
[11]
R. G. Askin and C. R. Standridge, Modeling and analysis of manufacturing systems. John Wiley & Sons Inc, 1993.
[12]
C. G. Cassandras, Discrete event systems: modeling and performance analysis. CRC, 1993.
[13]
M. Zhou and K. Venkatesh, Modeling, simulation, and control of flexible manufacturing systems: a Petri net approach. World Scientific, 1999, vol. 6.
[14]
S. Jain, N. Fong Choong, K. Maung Aye, and M. Luo, "Virtual factory: an integrated approach to manufacturing systems modeling," International Journal of Operations & Production Management, vol. 21, no. 5/6, pp. 594--608, 2001.
[15]
J. Ezpeleta, J. M. Colom, and J. Martinez, "A petri net based deadlock prevention policy for flexible manufacturing systems," IEEE transactions on robotics and automation, vol. 11, no. 2, pp. 173--184, 1995.
[16]
A. Negahban and J. S. Smith, "Simulation for manufacturing system design and operation: Literature review and analysis," Journal of Manufacturing Systems, vol. 33, no. 2, pp. 241--261, 2014.
[17]
M. Grieves and J. Vickers, "Digital twin: Mitigating unpredictable, undesirable emergent behavior in complex systems," in Transdisciplinary Perspectives on Complex Systems. Springer, 2017, pp. 85--113.
[18]
M. Reitblatt, N. Foster, J. Rexford, C. Schlesinger, and D. Walker, "Abstractions for network update," in Proceedings of the ACM SIGCOMM 2012 conference on Applications, technologies, architectures, and protocols for computer communication. ACM, 2012, pp. 323--334.
[19]
A. Khurshid, W. Zhou, M. Caesar, and P. Godfrey, "Veriflow: Verifying network-wide invariants in real time," ACM SIGCOMM Computer Communication Review, vol. 42, no. 4, pp. 467--472, 2012.
[20]
W. Liu, R. Bobba, S. Mohan, and R. Campbell, "Inter-flow consistency: Novel sdn update abstraction for supporting inter-flow constraint," in NDSS Workshop on Security of Emerging Networking Technologies (SENT), 2015.
[21]
W. Liu, R. B. Bobba, S. Mohan, and R. H. Campbell, "Inter-flow consistency: A novel sdn update abstraction for supporting inter-flow constraints," in 2015 IEEE Conference on Communications and Network Security (CNS), Sept 2015, pp. 469--478.
[22]
R. Mahajan and R. Wattenhofer, "On consistent updates in software defined networks," in Proceedings of the Twelfth ACM Workshop on Hot Topics in Networks. ACM, 2013, p. 20.
[23]
A. Noyes, T. War, P. Cerny, and N. Foster, "Toward synthesis of network updates." in Proceedings of Workshop on Synthesis (SYNT), July 2013.
[24]
N. P. Katta, J. Rexford, and D. Walker, "Incremental consistent updates," in Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking. ACM, 2013, pp. 49--54.
[25]
S. Ghorbani and M. Caesar, "Walk the line: consistent network updates with bandwidth guarantees," in Proceedings of the first workshop on Hot topics in software defined networks. ACM, 2012, pp. 67--72.
[26]
S. Scott-Hayward, S. Natarajan, and S. Sezer, "A survey of security in software defined networks," IEEE Communications Surveys Tutorials, vol. 18, no. 1, pp. 623--654, Firstquarter 2016.
[27]
G. Q. Huang, Y. Zhang, and P. Jiang, "Rfid-based wireless manufacturing for real-time management of job shop wip inventories," The International Journal of Advanced Manufacturing Technology, vol. 36, no. 7, pp. 752--764, 2008.
[28]
N. A. Lynch and F. W. Vaandrager, "Forward and backward simulations - part I: untimed systems." Information and Computation, vol. 121, no. 2, pp. 214--233, September 1995. {Online}. Available: citeseer.nj.nec.com/lynch95forward.html
[29]
N. Lynch and M. Tuttle, "An introduction to Input/Output automata," CWI-Quarterly, vol. 2, no. 3, pp. 219--246, September 1989.
[30]
T. T. Johnson and S. Mitra, "Safe and stabilizing distributed multi-path cellular flows," Elsevier, February 2015.
[31]
I. Kovalenko, M. Saez, K. Barton, and D. Tilbury, "Smart: A system-level manufacturing and automation research testbed," vol. 1, p. 20170006, 10 2017.
Recommendations
Effect of Modern Information Industry on Manufacturing Industry
AIAM2021: 2021 3rd International Conference on Artificial Intelligence and Advanced ManufactureThe transformation and upgrading of the manufacturing sector is an important step in implementing the new stage of development. Information technology is having an increasingly profound impact on the development of manufacturing industry, based on this ...
Manufacturing Execution System for a Subsidiary of Aerospace Manufacturing Industry
ICCAE '09: Proceedings of the 2009 International Conference on Computer and Automation EngineeringAbstract—Aerospace manufacturing requires precision tools and control systems. Integrated Manufacturing Execution System (MES) in a subsidiary of aerospace manufacturing industry initiate, guide, respond to and report on manufacturing activities as they ...
Comments
Information & Contributors
Information
Published In
April 2018
369 pages
ISBN:9781538653012
- General Chairs:
- Chris Gill,
- Bruno Sinopoli,
- Program Chairs:
- Xue Liu,
- Paulo Tabuada
Sponsors
- SIGBED: ACM Special Interest Group on Embedded Systems
- IEEE-CS IRTS: IEEE CS Internet, Real Time Systems
Publisher
IEEE Press
Publication History
Published: 11 April 2018
Check for updates
Qualifiers
- Research-article
Conference
ICCPS '18
Sponsor:
- SIGBED
- IEEE-CS IRTS
ICCPS '18: ACM/IEEE 9th International Conference on Cyber-Physical Systems
April 11 - 13, 2018
Porto, Portugal
Acceptance Rates
Overall Acceptance Rate 25 of 91 submissions, 27%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 148Total Downloads
- Downloads (Last 12 months)2
- Downloads (Last 6 weeks)0
Reflects downloads up to
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in