The Third Analytic Virtual Integration of Cyber-Physical Systems Workshop.
Dec. 4, San Juan, Puerto Rico, 2012. Co-located with RTSS 2012.


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)