The ability to include models as submodels inside other models.

Visible to the public "Architectural Abstractions for Hybrid Programs" wins the best paper award at CBSE/CompArch 2015

A paper from Carnegie Mellon University titled "Architectural Abstractions for Hybrid Programs" wins a Distinguished Paper Award at the 18th International Symposium for Component-Based Software Engineering (CBSE), part of the CompArch federated conference series (Component-Based Software Engineering and Software Architecture). You can view the presentation slides here.


Visible to the public Contract-Based Integration of Cyber-Physical Analyses

Abstract: Developing cyber-physical systems involves multiple engineering domains, e.g., timing, logical correctness, thermal resilience, and mechanical stress. In today's industrial practice, these domains rely on multiple analyses to obtain and verify critical system properties. Domain differences make the analyses abstract away interactions among themselves, potentially invalidating the results. Specifically, one challenge is to ensure that an analysis is never applied to a model that violates the assumptions of the analysis.


Visible to the public Architectural Abstractions for Hybrid Programs

Abstract: Modern cyber-physical systems interact closely with continuous physical processes like kinematic movement. Software component frameworks do not provide an explicit way to represent or reason about these processes. Meanwhile, hybrid program models have been successful in proving critical properties of discrete-continuous systems. These programs deal with diverse aspects of a cyber-physical system such as controller decisions, component communication protocols, and mechanical dynamics, requiring several programs to address the variation.


Visible to the public Supporting Heterogeneity in Cyber-Physical Systems Architectures

Abstract: Cyber-physical systems (CPS) are heterogeneous, because they tightly couple computation, communication and control along with physical dynamics, which are traditionally considered separately. Without a comprehensive modeling formalism, model-based development of CPS involves using a multitude of models in a variety of formalisms that capture various aspects of the system design, such as software design, networking design, physical models, and protocol design.


Visible to the public Composable and Systems Technology for High Confidence Cyber-Physical Systems Workshop

Creative Commons Attribution-NonCommercial 3.0
This group is for archiving the artifacts from the CST-HCCPS workshop