| 07:15-08:00 |
Registration, Breakfast |
| 08:00-08:15 |
Dr. Janos Sztipanovits, DARPA/ITO: Opening Remarks |
| 08:15-09:00 |
Dave Sharp, Boeing: Open Experimental Platform for Avionics |
| 09:00-09:45 |
Pravin Varaiya, Berkeley: Open Experimental Platform for Automotive Applications |
| 09:45-10:00 |
BREAK |
| 10:00-10:30 |
Jonathan Preston, Lockheed Martin: Software Technology - Research Integration and Verification Environment |
| 10:30-11:00 |
Devesh Bhatt, Honeywell: Integration of Embedded Software for Ground Vehicles |
| 11:00-11:30 |
Kang Shin, U. Mich: Model-Based Integration of Reusable Embedded RT Software |
| 11:30-12:00 |
Insup Lee, U. Penn: Design, Implementation, and Validation of Embedded Software |
| 12:00-13:00 |
LUNCH |
| 13:00-13:30 |
Gabor Karsai, VU/ISIS: Model-Based Synthesis of Generators for Embedded Systems |
| 13:30-14:00 |
Raj Rajkumar, CMU: Integrated Modeling for Analysis and Generation of Embedded Software |
| 14:00-14:30 |
Brian Williams, MIT: Dynamic Domain Architectures for Model-Based Autonomy |
| 14:30-15:00 |
BREAK |
| 15:00-16:25 |
OEP Breakout Sessions (Automotive and Weapon System) |
| 16:35-18:00 |
OEP Breakout Sessions (Automotive and Weapon System) |
| 18:00-19:00 |
OEP Caucus (Berkeley, Boeing, DARPA, AFRL) |
