Virtual Design and Verification of Cyber Physical Systems: Industrial Process Plant Design
Peter O. Denno, Mark Blackburn
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 of the Conference on Systems Engineering Research (CSER 2014)
March 20-21, 2014
Redondo Beach, CA
Conference on Systems Engineering Research (CSER 2014)
verification, validation, process plant, design, cyber-physical systems
and Blackburn, M.
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 March 4, 2024)