Facebook
  Twitter

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


Content for class "clear" Goes Here
nsfSupported by an Expeditions in Computing award from the National Science Foundation