multi-paradigm modeling

event

Visible to the public  IM-CPS: International Symposium on Interdisciplinary Modeling of CPS
May 25, 2011 5:00 am - May 27, 2011 5:00 am CDT

The second edition of IM-CPS will bring together researchers from academia and industry with expertise relevant to cyber-physical systems. IM-CPS is a forum that facilitates the interactions between various disciplines like applied mathematics, computer science, control theories and other branches of engineering. Promoting inter-disciplinary research is a major objective of IM-CPS. Some priority topics include aerospace applications and air traffic control, embedded electronics, energy systems, symbolic verification, stochastic modelling and uncertainty understanding.

file

Visible to the public Model-Based Design Overview

This presentation conceptualizes Model-Based Design of a cyber-physical system. Three stages of a system under design at various levels of detail are depicted. The designs are captured by models that have computational semantics based on the execution engine on a host platform. The implementation as generated code executes on a target platform. Because executable, the design can be explored, tested, and verified while at various levels of detail. This enables separation of concerns and so allows raising the level of abstraction in design.