AVICPS 2013 - 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop (AVICPS)

The Analytic Virtual Integration Cyber-Physical Systems (AVICPS) workshop focuses on analytic techniques that enable the early discovery of faults in CPS before the system is integrated or its parts are built. Such an approach is known as analytic virtual integration. The objective is to discover and resolve problems early during the design and implementation phases where cost impact is low.
Topics of interest include, but are not limited to:
A quantitative and early analysis of end-to-end system architecture performance that incorporates realistic hardware details (e.g. multi-core, memory architectures, I/O, network-on-chip, etc.) and workloads (e.g. video streams, weather data, GPS, critical messages, etc.)
Fault tolerance technologies for handling the combination of faults in computing and communication hardware and software and physical system disturbances.
Safety analysis such as model checking for mixed criticality CPS applications (e.g., flight management systems and safe interoperability of medical devices).
System level optimization technologies that support the combinatorial optimization of task scheduling and allocation, I/O, and network traffic routing.
Security protocol development and verification techniques for CPS applications.
Modeling, simulation, and verification techniques for virtual integration.
Models for describing or quantifying the environment that systems must operate in.
Quantitative measurements of the advantages of virtual integration.
Formal methods for defining and reasoning about internal and external interfaces of the system and its parts.
Cross-domain compositional theories and technologies for CPS.