Modelling Framework for Early Verification and Validation at Conceptualization Phase of Designing Distributed Cyber Physical Systems

Abstract

This thesis presents a modelling framework for verifying and validating DCPS compositions. The framework defines the DCPS design space and DCPS composition as interacting nodes of cyber, physical, and cyber-physical systems. The node types are described using seven elements, and abstract models are created using these elements. newline