Computational Modeling and Analysis for Complex Systems

CMACS Industry Workshop on Verification of Embedded Control Systems

October 20, 2011 Gates-Hillman Center (GHC), Room 6115, Carnegie Mellon University
08:30	Light breakfast served
09:00	Welcome and Workshop Overview – B. Krogh
09:10	Recent Advances in Verification Technologies (4x20) 09:10 Rance Cleaveland – Software verification/testing 09:30 Patrick Cousot – Abstract interpretation 09:50 Matthias Althoff – Reachability analysis 10:10 Andre Platzer – Theorem proving for dynamic systems
10:30	Break
10:40	Applications of Verification the Automotive Industry (2x25) 10:40 Verification Challenges in Automotive Embedded Systems - Bill Milam (Ford) 11:05 Toyota’s Direction - Ken Butts (Toyota)
11:30	Applications of Verification in the Aircraft Industry (1x30) 11:30 Verification of Avionics Systems - Steve Miller (Rockwell-Collins)
12:00	Lunch – Perspectives from tool vendors (2x15) 12:15 National Instruments - Jeff Jensen (National Instruments) 12:30 Simulink Design Verifier 2.0 - Denizhan Alparslan (MathWorks)
12:45	Discussion 1: Impediments to the Use of Verification in Industry Moderator: Rance Cleaveland; Scribe: Bruce Krogh
13:45	Discussion 2: Research Directions—Making Verification Useful Moderator: Steve Marcus; Scribe: Bruce Krogh
14:45	Wrap-up
15:00	Adjourn