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

dc.contributor.guide	Nene, Manisha and Nema, Malay Kumar
dc.coverage.spatial
dc.creator.researcher	Sood, Vikas
dc.date.accessioned	2025-03-28T05:30:39Z
dc.date.available	2025-03-28T05:30:39Z
dc.date.awarded	2024
dc.date.completed	2024
dc.date.registered	2017
dc.description.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
dc.description.note
dc.format.accompanyingmaterial	CD
dc.format.dimensions
dc.format.extent	xx,176
dc.identifier.researcherid
dc.identifier.uri	http://hdl.handle.net/10603/630569
dc.language	English
dc.publisher.institution	School of Computer Engineering and Mathematical Sciences
dc.publisher.place	Pune
dc.publisher.university	Defence Institute of Advanced Technology
dc.relation
dc.rights	university
dc.source.university	University
dc.subject.keyword	Computer Science
dc.subject.keyword	Computer Science Hardware and Architecture
dc.subject.keyword	Engineering and Technology
dc.title	Modelling Framework for Early Verification and Validation at Conceptualization Phase of Designing Distributed Cyber Physical Systems
dc.title.alternative
dc.type.degree	Ph.D.