[RTSS'11 Workshop] Analytic Virtual Integration for CPS
Sat, 07/09/2011 - 11:48am
2nd Workshop on
Analytic Virtual Integration of Cyber-Physical Systems
AVICPS '11 is held in conjunction with the
32nd IEEE Real-Time Systems Symposium (RTSS '11)
November 29 - December 2, Vienna, Austria
Cyber Physical Systems (CPS) are software-based systems that control and interact with physical processes. Such systems play a key role in an ever-increasing number of industries spanning medical devices, automotive electronics, industrial automation, avionics and energy systems. For example, over 80% of the innovations in automotive systems are for cyber-enabled system capabilities. Modern aircraft are designed as distributed components, which are then "virtually integrated" before physical integration.
However, the co-design of physical platforms, control systems, and embedded software systems and their tight integration also creates a high degree of complexity of interactions within and across these systems. This integration process far exceeds the capability of existing system composition technologies. These technologies are of paramount importance to industries that integrate independently developed parts into their final products. Furthermore, even though analytical models of such systems are currently used to predict different system-level properties they are often developed on a property-by-property basis by different teams leading to inconsistent assumptions and conclusions. The lack of effective system-wide analytical results prevents the discovery of design flaws that stem from the interaction complexity of the system parts; i.e. prevented until the system is physically integrated. Due to such flaws, the system integration time often exceeds 50% of the total development time for non-safety critical applications. In safety critical systems, such as avionics, the system integration and certification time often exceeds 70% of total development time and costs.
Looking ahead, the success of next generation CPS systems demands system-wide architecture design patterns and supporting technologies that can integrate legacy components, COTS components and co-designed new components in such a way that properties such as real-time, safety, fault tolerance and security can be analyzed and predicted before the systems are physically built. Moreover, it is necessary to have a system-wide composition model that integrates the different analyses into a single consistent semantic framework to avoid conflicting results.
This workshop focuses on analytical system composition technologies that include:
- Composition technologies to automatically propagate the impact of modifications in one modeling domain into others.
- Assumption resolution between modeling abstractions and constructs of different analysis domains.
- Analytical techniques that leverage architecture abstractions to address scalability.
- System-level schedulability optimization technologies that integrate constraints imposed by other analytic domains (E.g: security, mechanical stress, heat dissipation, etc.)
- A quantitative and early analysis of the system architecture performance in an end-to-end fashion
- Fault tolerance technologies and reliability analysis techniques that integrate the different natures of physical, hardware and software faults in a common, consistent framework.
- 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)
- Security protocol development and verification techniques for CPS applications.
- Models for describing/quantifying the environments where such systems must operate.
The goal of this 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.
PAPER SUBMISSION
Submissions should be no more than 8 pages in two-column, single-spaced, 10 pt format. For more details please see http://www.analyticintegration.org
IMPORTANT DATES
Submission deadline: September 15, 2011
Notification: October 25, 2011
Camera-ready version: November 3, 2011
Workshop: November 30, 2011
ORGANIZERS
Rahul Mangharam. University of Pennsylvania. (co-chair)
Peter Feiler. Software Engineering Institute (SEI) (co-chair)
PROGRAM COMMITTEE
Kirstie Bellman, Aerospace Corp.
Jerome Hugues, Institut superieur de l'aeronautique et de l'espace (ISEA)
Bruce Krogh, Carnegie Mellon University.
Jorgen Hansson, Chalmers University.
Dionisio de Niz. Software Engineering Institute (SEI)
Sibin Mohan. University of Illinois at Urbana-Champaign (UIUC)
Thomas Noll, RWTH Aachen
Julien Delange, European Space Agency (ESA)
Eric Senn, Universite de Bretagne Sud (UBS)
Mirko Jakovljevic, TTTech
K. C. Shashidhar, Max Planck Institute for Software Systems, Germany
Oleg Sokolosky, University of Pennsylvania
Marco Caccamo, UIUC