Distinct and separate models constructed to model different aspects of the same system.
event
Submitted by Anonymous on Mon, 10/19/2015 - 12:22pm
18th IFIP International Conference on Coordination Models and Languages
Scope
event
Submitted by Anonymous on Fri, 09/18/2015 - 1:36pm
Workshops on Dynamic Data Driven Applications Systems (DDDAS)
In conjunction with: 22nd International Conference on High Performance Computing (HiPC)
Overview
file
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.
file
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.
video
Submitted by tripakis on Wed, 12/03/2014 - 12:38pm
