Physically informed assertions for cyber physical systems development and debugging

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

4 Citations (Scopus)

Abstract

Cyber Physical Systems (CPS), widely used in pervasive computing, integrate computation in the cyber world with control of physical processes. Developing CPS is challenging because interactions between physical and cyber components are complex and often unpredictable. Traditional debugging techniques can detect bugs in the cyber world, but bugs introduced from physical components and induced by limitations in the software interface to physical hardware are still difficult to detect. My research will capture the state of art and the state of the practice in verification and validation of CPS. Based on this, I will design middleware that combines models of the physical world with programming-language based assertions to help developers to design, develop, and debug robust CPS applications with ease.
Original languageEnglish
Title of host publication2014 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops)
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages181-183
Number of pages3
ISBN (Electronic)9781479927364
ISBN (Print)9781479927371
DOIs
Publication statusPublished - 2014
Externally publishedYes
Event2014 IEEE International Conference on Pervasive Computing and Communication Workshops - Budapest, Hungary
Duration: 24 Mar 201428 Mar 2014

Conference

Conference2014 IEEE International Conference on Pervasive Computing and Communication Workshops
Abbreviated titlePERCOM WORKSHOPS
CountryHungary
CityBudapest
Period24/03/1428/03/14

Fingerprint Dive into the research topics of 'Physically informed assertions for cyber physical systems development and debugging'. Together they form a unique fingerprint.

  • Cite this

    Zheng, X. (2014). Physically informed assertions for cyber physical systems development and debugging. In 2014 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops) (pp. 181-183). Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/PerComW.2014.6815195