posted by user: mpstew || 4513 views || tracked by 13 users: [display]

AVICPS 2010 : 1st Analytic Virtual Integration of Cyber-Physical Systems Workshop

FacebookTwitterLinkedInGoogle

Link: http://www.cs.illinois.edu/~sibin/avicps/index.html
 
When Nov 30, 2010 - Nov 30, 2010
Where San Diego, California
Submission Deadline Sep 1, 2010
Notification Due Oct 18, 2010
Final Version Due Oct 24, 2010
Categories    cyber-physical systems   software   modeling   optimization
 

Call For Papers

[Held in conjunction with the 31st IEEE Rel-time Systems Symposium (RTSS '10).]

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. For example, over 80% of the innovations in automotive systems are for cyber-enabled system capabilities. Modern aircraft are carefully co-designed and tightly integrated CPS machines. This trend is also demonstrated by modern medical systems. The movement towards increasing dependency on software is driven by the fact that software enables the delivery of a large number of customized capabilities in a
product using a relatively small number of physical and computing platforms.

However, the co-design of physical platforms, computer systems, and embedded software systems and their tight integration also creates a high degree of complexity of
interactions within and across these systems that 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 (e.g. automotive and avionics). 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 will eventually include:

(1) Composition technologies to automatically propagate the impact of modifications in one modeling domain into others.
(2) Assumption resolution between modeling abstractions and constructs of different analysis domains.
(3) System-level schedulability optimization technologies that integrate constraints imposed by other analytic domains (E.g: security, mechanical stress, heat dissipation, etc.)
(4) A quantitative and early analysis of the system architecture performance in an end-to-end fashion, deriving perhaps even the worst/best/average case behaviour for the
entire platform and new hardware abstractions. In fact, existing task/system models reason at levels that are well abstracted away from real details (and variations inherent in) hardware components (e.g. multicores, memory architectures, I/O, network-on-chip, etc.). They also are unable to cope with workloads that are beyond the
capabilities of traditional computational resources (e.g. video streams, weather data, GPS, etc.)
(5) Fault tolerance technologies and reliability analysis techniques that integrate the different natures of physical, hardware and software faults in a common, consistent framework.
(6) 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).
(7) Security protocol development and verification techniques for CPS applications.
(8) 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.

Related Resources

ECBS 2021   7th Conference on the Engineering of Computer Based Systems
JSE 2020   9th International Conference on Software Engineering and Applications
EAI IC4S 2020   (Virtual) EAI International Conference on Cognitive Computing and Cyber Physical Systems
GRAPH-HOC 2020   12th International Conference on Applications of Graph Theory in Wireless Ad hoc Networks and Sensor Networks
BDACCIP 2020   The 4th International Workshop on Big Data Analytic for Cyber Crime Investigation and Prevention 2020
DSCC 2020   International Conference on Data Science and Cloud Computing
CPSIOT 2020   2020 International Conference on Cyber Physical Systems and IoT(CPSIOT 2020)
ACM--ICCPR--Ei Compendex and Scopus 2020   ACM--2020 9th International Conference on Computing and Pattern Recognition (ICCPR 2020)--Ei Compendex, Scopus
IEEE Green Tech 2021   The Thirteenth Annual IEEE Green Technologies (GreenTech) Conference
IEEE-EI/SCOPUS-CCISP 2020   The 5th International Conference on Communication, Image and Signal Processing (CCISP 2020)