UT Arlington College of Engineering
 College of Engineering Calendar
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
   Day      Week     Month  
1 1 1 1 1
 
1 1 1 1 1 1 1 1 1 1 1 1
   Search      Submit  
1 1 1


Friday, November 22, 2013
 

Aug 2014
  S M T W T F S
W30 27 28 29 30 31 1 2
W31 3 4 5 6 7 8 9
W32 10 11 12 13 14 15 16
W33 17 18 19 20 21 22 23
W34 24 25 26 27 28 29 30
W35 31 1 2 3 4 5 6


Today is:
Sat, Aug 30, 2014

Subscribe & download

View events by category


11:30am
to
1:00pm
  CSE Colloquium: Taylor Johnson  
(Lectures and Seminars)

"Verification and Validation for Reliable Cyber-Physical Systems"

Taylor Johnson, Ph.D., UTA Dept. of Computer Science and Engineering

Abstract:
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.


Location: ERB 103
Price: free
   
copy this event into your personal desktop calendar
powered by VTCalendar 2.2.1
UT Arlington Main Calendar/ Academic Calendar