Large janos sztipanovits cropped

Cyber-Physical Systems Challenge for Model-based Design
Part 1

Prof. Janos Sztipanovits

Recorded 09 September 2013 in Lausanne, Vaud, Switzerland

Course: Nano-Tera/Artist International Summer School 2013

Abstract

CPS design flows span physical and computational domains and incorporate manufacturability concerns for physical components. Heterogeneity is the norm as well as the main challenge: components and systems are modeled using multiple physical, logical, functional and non-functional modeling aspects. Traditional design flows use the separation of concern principle to decompose the overall design problem into manageable problem sizes. However, the fundamental goal of model-based design — to move toward a correct-by-construction design technology — requires modeling and analyzing cross-domain interactions among physical and cyber domains and demands understanding the effects of heterogeneous abstraction layers in the design flow.

Modeling and analyzing cross-domain interactions among physical and computational/networking domains and understanding the effects of heterogeneous abstraction layers in the design flow are fundamental part of CPS design theories. The current practice of multi-modeling — using established domain-specific modeling languages and tools independently in the design process or attempting the establishment of massive universal modeling languages that cover all domains — are inadequate. The talk will frame this challenge as a model integration problem and discusses solutions for capturing interdependencies across modeling domains using Model Integration Languages.

Watched 574 times.

 Watch