EITEC '15 is a workshop held at CPS Week 2015 in Seattle, Washington
Date: April 13, 2015

Location: Washington State Convention Center, Room 102

Important Date


April 13, 2015




The workshop will include a keynote presentation by Dr. Klaus Havelund, Senior Research Scientist at the Jet Propulsion Laboratory, CA, USA Dr. Havelund'€™s contribution on model checking has been awarded the ASE 2014 Most Influential Paper award. More information on his current research is available at

Start End Agenda Item Presenter
08:45 09:00 Welcome Organizers
09:00 10:00 Keynote Klaus Havelund
10:00 10:30 Coffee Break
10:30 12:00 Session 1
Cyber Organic Systems Model - a new Software Architecture Approach for Future, Complex Vehicles Daniel Adam (BMW)
Safety Case Driven Model-Based Systems Construction Sebastian Voss (fortiss)
Optimizing Safety Analysis of Cyber-Physical Systems using Self-Adaptation: Position Paper Önder Gürcan (CEA)
End Session 1
12:00 13:00 Lunch Break
13:00 14:30 Session 2
Today's Challenges and Potential Solutions for the Engineering of Collaborative Embedded Systems Marian Daun (University of Duisburg-Essen)
Cyber-Physical Security for Smart Cars -- Issues, Survey and Challenges Abdulmalik Humayed (University of Kansas)
Secure Cloud Manufacturing: Research Challenges and a Case Study Weichao Wang (UNC Charlotte)
End Session 2
14:30 15:00 Coffee Break
15:00 15:300 Session 3
Performance Analysis of Adaptive Runge-Kutta Methods in Region of Interest Georg Hackenberg (Technische Universität München)
End Session 3
15:30 15:45 Closing Workshop