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


The goal of the Analytic Virtual Integration of Cyber-Physical Systems (AVICPS) workshop is to explore architecture design patterns, tools and the theoretical analytical foundations for creating common system-wide composition models where key properties can be studied and guarantees provided before the start of actual development. Of particular interest are the case studies on the challenges of expressing the properties of the final product in terms of component properties and the architecture that governs their interactions. Both solutions and/or open problems are welcome.

This workshop focuses on analytical system composition technologies including, but not limited to the following:

  1. A quantitative and early analysis of end-to-end system architecture performance that incorporates real hardware details (e.g. multicores, memory architectures, I/O, network-on-chip, etc.) and workloads (e.g. video streams, weather data, GPS, etc.)
  2. Fault tolerance technologies against combined cyber faults and physical system disturbances.
  3. Safety analysis such as model checking for mixed criticality CPS applications, for example, flight management systems and/or safe medical devices plug and play (MDPnP)
  4. System level schedulability optimization technologies that support the combinatory optimization of task allocation, I/O and network traffic routing.
  5. Security protocol development and verification techniques for CPS applications.
  6. Models for describing/quantifying the environment that such systems must operate in.
  7. Quantitative measurements of the advantages of virtual integration.