| Time |
Workshop on Smart
Transportation |
Workshop on
Event-based Semantics |
Tutorials |
| Rooms |
Phoenix |
Bel-Air |
Newport |
| 8:30-8:45am |
Welcome and Introduction |
●
Cyber Physical Systems Vision
by Helen Gill (NSF)
●
Event-based semantics for Interactive Agents
by Carolyn Talcott (SRI Internaltional)
●
Interface-driven software composition and scheduling
by Luca de Alfaro (U. C. Santa Cruz) |
Giano: A simulation framework
for the full-system simulation |
| 8:45-9:45am |
Invited Speaker: Jim Longbottom,
Texas A&M |
| 9:45-10:45am |
Invited Speaker: Chip Meserole,
Boeing, Seattle |
| 10:45-11:00am |
Coffee Break |
| 11:00-12:30pm |
Panel:
Dr. Prashant Mehta, UIUC
Dr. Helen Gill, NSF
Dr. Raktim Bhattacharya, Texas A&M
Dr. Chip Meserole, Boeing Seattle
Dr. Jim Longbottom, Texas A&M |
●
Defining Behavioral Semantics for Domain Specific Modeling Languages
by Janos Sztipanovits (Vanderbilt)
● Discussion |
MDE4DRE: Part I |
| 12:30-1:30pm |
Lunch on your own |
| 1:30-2:30pm |
Invited Speaker: Daniel Dailey
Univ. of Washington |
●
Modeling Timed Concurrent Systems
by Eleftherios Matsikoudis (U. C. Berkeley)
●Specification
and Derivation of Distributed Programs using a Logic of Events
by Mark Bickford (ATC-NY)
●Short presentations and/or
group discussions (TBA) |
MDE4DRE: Part II |
| 2:30-3:30pm |
Position papers (session I)
● Smart Transportation: Real
Time Traffic Prediction and Target Detection,
A. Vaidya, A. Cheng, Univ. of Houston;
● Smart Cross Border Freight
Management, Steve Liu, Texas A&M;
● Roadway Design and Testing for Safety through Visualization and
Driving Simulation, Dahai Guo, Janusz Zalewski,
Florida Gulf Coast Univ.
● Smart Parking Lots of the Future,
D. Rohm, M. Goyal, et al,
Univ. of Wisconsin-Milwaukee |
| 3:30-3:45pm |
Coffee Break |
| 3:45-4:45pm |
Invited Speaker: Ella Atkins
Univ. of Michigan |
Round Table Discussion
Challenge Problems
Future Directions |
WinCE |
| 4:45-5:15pm |
Position papers (session II)
● Prospects of Networked Vehicles of
the Future, Ashish Agarwal, T.D.C. Little, Boston Univ.;
● High Speed Ground Effect Public Transportation Systems,
Raktim Bhattacharya, Texas A&M |
| 5:15-5:30pm |
Workshop Summary/Wrap-up |