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

Published

March 12, 2014

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

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 December 22, 2024)