ISIS Prof. Janos Sztipanovits delivers Distinguished Lecture at Yale

ISIS Prof. Janos Sztipanovits delivered the Harry T. Nyquist Distinguished Lecture at Yale University on October 23, 2009. The title of his lecture was: Convergence: Model-Based Software, Systems and Control Engineering.


The integration of physical systems and processes with networked computing has led to the emergence of a new generation of engineered systems: Cyber-Physical Systems (CPS). Such systems use computations and communication deeply embedded in and interacting with physical processes to add new capabilities to physical systems. These cyber-physical systems range from miniscule (pace makers) to large-scale (the national power-grid). Because computer-augmented devices are everywhere, they are a huge source of economic leverage.

The past fifteen years provided ample evidence that the separation of information science and physical science has created a divergence in scientific foundations and technologies that has become strongly limiting to progress in the design of CPS. For example, dominant abstractions in programming languages typically avoid the explicit representation of time and other aspects of physicality, lumping together all the related physical design considerations in the category of “non-functional” requirements (such as timing, power and reliability). On the physical side, although engineering increasingly relies on computer based implementations, systems science has developed and evolved abstractions that largely neglect salient properties of computing and communication platforms (such as scheduling, resource management, network delays) and considers those as secondary implementation issues. The resulting barrier between systems and computer science has kept the research communities apart - splitting education into isolated disciplines and resulting in compartmentalized design flows that ultimately lead to major difficulties and failures as complexity increases.

This talk will focus on the emerging technology of model-based engineering that has the potential to make real change here. It offers opportunity for designing and relating abstraction layers across design concerns using domain specific modeling languages, allows the development of semantic foundations for composing heterogeneous models and modeling languages and provides foundation and tools for relating models through transformations. Model-based software, systems and control engineering creates opportunities for a new convergence in foundations – similarly to what already happened in applications.