An official website of the United States government
Here’s how you know
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)
Pub Type
Conferences
Keywords
verification, validation, process plant, design, cyber-physical systems
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 October 13, 2024)