Visible to the public Monday, 22 April

8:30-9:30 Keynote Address
  "Autonomous Agents in Complex Event-Driven Software Systems"
Scott Douglas, PhD
Air Force Research Laboratory
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
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
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