Monday, 22 April
| 7:00-8:30 | Breakfast at the hotel or on your own |
|---|---|
| 7:30-8:30 | Registration at SkySong Global Room 201 |
| 8:30-9:30 | Keynote Address |
|---|---|
| "Autonomous Agents in Complex Event-Driven Software Systems" Scott Douglas, PhD Air Force Research Laboratory |
| 9:30-10:00 | Coffee Break |
|---|
| Session 1 | Model Based Design |
|---|---|
| 10:00-10:30 | “Quantifying Error Propagation in Data Flow Models,” Devesh Bhatt, Kirk Schloegel, Gabor Madl, David Oglesby |
| 10:30-11:00 | “Model Based Development with the Skeleton Design Method,” Sean Whitsitt, Jonathan Sprinkle |
| 11:00-11:30 | “Multi-Way Semantic Specification of Domain-Specific Modeling Languages,” David Lindecker, Gabor Simko, Istvan Madari, Tihamer Levendovszky, Janos Sztipanovits |
| 11:30-12:00 | “A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems,” Gabor Simko, David Lindecker, Tihamer Levendovszky, Ethan K. Jackson, Sandeep Neema, Janos Sztipanovits |
| 12:00-1:00 | Lunch |
|---|
| Session 2 | Embedded and Real Time Systems 1 |
|---|---|
| 1:00-1:30 | “Model-Based Software Synthesis For Self-reconfigurable Sensor Network in Water Monitoring,” Kun Zhang, Jonathan Sprinkle |
| 1:30-2:00 | “System Observation of Blocking, Non-Blocking, and Cascading Events for Runtime Monitoring of Real-Time Systems,” Jong Chul Lee, Roman Lysecky |
| 2:00-2:30 | “System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems,” Nathan Sandoval, Casey Mackin, Sean Whitsitt, Roman Lysecky, Jonathan Sprinkle |
| 2:30-3:00 | “On Extensible Networks for Embedded Systems,” Florian Pölzbauer, Iain Bate, Eugen Brenner |
| 3:00-3:30 | Coffee Break |
|---|
| Session 3 | Embedded and Real Time Systems 2 |
|---|---|
| 3:30-4:00 | “Embedded System Design for Miniature CPT Atomic Clock Circuit,” Yuan Tian, Yi Zhang, Sihong Gu |
| 4:00-4:30 | “Accuracy-Guided Runtime Adaptive Profiling Optimization of Wireless Sensor Networks,” Lu Ding, Adrian Lizarraga, Susan Lysecky, Roman Lysecky, Ann Gordon-Ross |
| 4:30-5:00 | “A Component-based Dynamic Link Support for Safety-critical Embedded Systems,” Nermin Kajtazovic, Christopher Preschern, Christian Kreiner |
| 5:00-5:30 | “Deployment and Scheduling Synthesis for Mixed-Critical Shared Memory Applications,” Sebastian Voss, Bernhard Schätz |
| 6:00 | Welcome Reception |
|---|---|
| Olive & Ivy |