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.

Virtual Design and Verification of Cyber Physical Systems: Industrial Process Plant Design

Published

Author(s)

Peter O. Denno, Mark Blackburn

Abstract

This paper discusses a research project to support virtual design and verification of industrial process plants designs. Process plants are a class of cyber-physical systems (CPS), and these results should generally apply to other types of CPS such as smart grids. Modeling is an essential part of process plant design. Models produced in design have obvious roles in system implementation, verification and validation. For manufacturing systems, models also have use in downstream activities including system certification, performance optimization, real-time diagnostics and prognostics, and maintenance. The complexity of manufacturing systems and their safety requirements place demands on modeling. Models used in activities downstream of design should be traceable to design and operational intent, which is often lacking in the traditional document-centric processes today. The paper discusses the results associated with a prototype that uses domain-specific models of different views of a facility design that improves collaboration through integrated models, and provides examples of how the integration with formal methods can identify defects in the design, and automatically generate test vectors with requirement-to-test traceability.
Proceedings Title
Proceedings of the Conference on Systems Engineering Research (CSER 2014)
Conference Dates
March 20-21, 2014
Conference Location
Redondo Beach, CA
Conference Title
Conference on Systems Engineering Research (CSER 2014)

Keywords

verification, validation, process plant, design, cyber-physical systems

Citation

Denno, P. and Blackburn, M. (2014), Virtual Design and Verification of Cyber Physical Systems: Industrial Process Plant Design, Proceedings of the Conference on Systems Engineering Research (CSER 2014), Redondo Beach, CA (Accessed July 14, 2024)

Issues

If you have any questions about this publication or are having problems accessing it, please contact reflib@nist.gov.

Created March 12, 2014, Updated February 19, 2017