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
 

Sep 2014
  S M T W T F S
W35 31 1 2 3 4 5 6
W36 7 8 9 10 11 12 13
W37 14 15 16 17 18 19 20
W38 21 22 23 24 25 26 27
W39 28 29 30 1 2 3 4


Today is:
Tue, Sep 23, 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