The 5th Analytic Virtual Integration of Cyber-Physical Systems Workshop.
Rome, Italy, December 2, 2014. Co-located with RTSS 2014.

Program

Note: AVICPS 2014 and CRTS 2014 will have a shared program this year.

9:00 -- 9:10: Introduction and Welcome
Sibin Mohan and Jean-Pierre Talpin
    9:10 -- 10:30: Joint Keynote
    Speaker: Prof. Manfred Broy Department of Software & Systems Engineering, Technische Universität München
      10:30 -- 11:00: Coffee Break
        11:00 -- 12:40 AVICPS Full Papers
        • Hw/SW Codesign for Automotive CPS using Architecture Analysis and Description Language
          Yuchen Zhou, John Baras and Shige Wang
        • Generic Value-Set Analysis on Low-Level Code
          Zhenkai Zhang and Xenofon Koutsoukos
        • Safebox: SCADA Systems in a Secure Framework
          Fangzhou Yao and Roy Campbell
        • ACTIVE: A Tool for Integrating Analysis Contracts Ivan Ruchkin, Dionisio de Niz, Sagar Chaki and David Garlan
        12:40 -- 14:00: Lunch
          14:00 -- 15:30: Joint AVICPS/CRTS Session
          • Tighter Integration of Drivers and Protocols in a AADL-based Code Generation Process
            Jerome Hughes [AVICPS Invited Speaker]
          • 14:25 -- 15:30: CRTS Program
          15:30 -- 16:00: Coffee Break
          16:00 -- 17:30: CRTS Program