DocumentCode :
139603
Title :
Physically informed assertions for cyber physical systems development and debugging
Author :
Xi Zheng
Author_Institution :
Univ. of Texas at Austin, Austin, TX, USA
fYear :
2014
fDate :
24-28 March 2014
Firstpage :
181
Lastpage :
183
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.
Keywords :
computer debugging; middleware; program verification; programming languages; CPS validation; CPS verification; cyber physical system debugging; cyber physical system development; middleware design; physically informed assertions; programming language; Automata; Computational modeling; Debugging; Middleware; Object oriented modeling; Robot sensing systems;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Pervasive Computing and Communications Workshops (PERCOM Workshops), 2014 IEEE International Conference on
Conference_Location :
Budapest
Type :
conf
DOI :
10.1109/PerComW.2014.6815195
Filename :
6815195
Link To Document :
بازگشت