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.
Submitted by Anonymous on Mon, 04/16/2012 - 7:17pm
The SDL 2011 International Conference addresses system and software modelling, specification, and analysis of distributed systems, embedded systems, communication systems, and real-time systems.
System integration today relies on ad-hoc methods: After all the components have been designed and manufactured, existing integration methods simply aim at ‘making it work somehow’. As the complexity of engineered systems continues to increase, our lack of a systematic theory for systems integration creates more and more problems.
