Formalization of Cyber-Physical System Interface using Discrete Event System Specifications

It appears your Web browser is not configured to display PDF files. Download adobe Acrobat or click here to download the PDF file.

Click here to download the PDF file.


Jiresal, Rishabh Sudhir




Cyber-Physical systems are complex engineered systems that integrate embedded computing into the physical environment. These systems are considered to be "safety-critical" due to their application in the field of medical, transportation, or building control. CPS is composed of tight coupling of the physical and cyber worlds, and the interfaces are interactions that are defined as a bridge between these worlds. The interface is a fundamental characteristic of a CPS and CPS cannot function without it. In this thesis, we propose an architecture named DEVS CPS Interface Framework (DCIF) that portrays the complete working of the CPS interface. We also implement and evaluate this interface on real-time hardware. The architecture is verified by creating a synthetic environment that includes multiple test cases in the simulation as well as real-time implementation. Additionally, we apply this framework to a practical case study in the field of building information modeling.


System Science
Engineering - Electronics and Electrical




Carleton University

Thesis Degree Name: 

Master of Applied Science: 

Thesis Degree Level: 


Thesis Degree Discipline: 

Engineering, Electrical and Computer

Parent Collection: 

Theses and Dissertations

Items in CURVE are protected by copyright, with all rights reserved, unless otherwise indicated. They are made available with permission from the author(s).