The 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop.
Vancouver, Canada, December 3, 2013. Co-located with RTSS 2013.


Download the AVICPS 2013 Proceesings (Open Access)
9.00-9.10: Introduction and Welcome
Gabor Karsai and David Broman
    9.10-10.30: Paper Session I: Mathematical Fundamentals
    Session Chair: David Broman
    • Some Challenges for Model-Based Simulation
      Walid Taha and Robert Cartwright [paper] [slides]
    • Operational Semantics for a Modular Equation Language
      Christoph Höger [paper] [slides]
    10.30-11.00: Coffee Break
      11.00-12.30: Paper Session II: Model Integration
      Session Chair: Gabor Karsai
      • Verifying Consistency Between Models
        August Schwerdfeger, Hazel Shackleton, and Steve Vestal [paper] [slides]
      • Towards a Safe Compositional Real-Time Scheduling Theory for Cyber-Physical Systems
        Linh Thi Xuan Phan [paper] [slides]
      12.30-2.00: Lunch
        2.00-3.30: Discussion session
        Challenges and Opportunities in Analytic System Integration
          3.30-4.00: Coffee Break
            4.00-5.15: Paper Session III: Model Analysis
            Session Chair: David Broman
            • Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model
              Mabel Mary Joy, Wolfgang Mueller, and Franz Rammig [paper] [slides]
            • Refinement of AADL models using early-stage analysis methods
              Guillaume Brau, Jérôme Hugues, and Nicolas Navet [paper] [slides]
            5.15: Workshop Closing