To UT Arlington Home Page

UT Arlington | find people | maps | submit an event

 UT Arlington 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
 

Mar 2015
  S M T W T F S
W09 1 2 3 4 5 6 7
W10 8 9 10 11 12 13 14
W11 15 16 17 18 19 20 21
W12 22 23 24 25 26 27 28
W13 29 30 31 1 2 3 4


Today is:
Thu, Mar 5, 2015

Subscribe & download

View events by category


11:30am
to
1:00pm
  CSE Colloquium: Taylor Johnson  
(Lectures/Talks)

"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

Office of University Communications
(for inquiries on individual events, please contact the event sponsor)