Program
A PDF version of the program is now available. The workshop will be held in the Atlantic View II room. Here is the hotel layout.
8:00 - 8:45am: Registration and Coffee
8:45 - 9:00am: Welcome and Kick-off
9:00 - 10:00am: Session #1
Keynote #1: Analytical Architecture Fault Models (1 hr) [pdf-slides]
810.00 - 10:30am: Coffee break
10:30 - 12:00pm: Session #2
A Simulation Framework for Design of Mixed Time/Event-Triggered Distributed Control Systems with SystemC/TLM (25 mins) [pdf-slides]
An Analytical Model of the CAN Bus for Online Schedulability Test (25 mins) [pdf-slides]
Analytic Certification Technologies for Military Avionics (20 mins) [pdf-slides]
Integration of Mixed-Criticality Cyber-Physical Systems with Criticality Layers (20 mins) [pdf-slides]
12:00 - 1:00pm: Lunch
1:00 - 2:30pm: Session #3
Keynote #2: Compositional Safety and Security Analysis of Architecture Models (1 hr) [pdf-slides] [ppt-slides]
Simulation-Based Design Verification of Real-Time Distributed Automotive Systems (25 mins)
2:30 - 3:00pm: Coffee break
3:00 - 4:30pm: Session #4
Online Construction of Analytical Prediction Models for Physical Environments: Application to Traffic Scene Modeling (25 mins) [pdf-slides] [ppt-slides]
Towards a Model-Driven Engineering Software Development Framework (20 mins) [pdf-slides]
Roundtable Discussion (40 mins)
Closing Remarks (5 mins)