"Verification and Validation for Reliable Cyber-Physical Systems"
Taylor Johnson, Ph.D., UTA Dept. of Computer Science and Engineering
In this talk, I will first review some recent recalls by federal agencies to illustrate examples of cyber-physical defects and their root causes. Next, I will give an overview of our research contributions developing verification and validation analysis techniques and software tools for CPS. Finally, I will conclude with several cyber-physical systems under development in our lab.