Submitted by sprinkle on Mon, 03/04/2013 - 1:49pm
| 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 |
Monday, 22 April