Associate Professor Stavros Tripakis

Foundations of System Design

Foundations of System DesignHow can we design reliable software and systems? Our group develops theories, methods, and tools for system modeling, simulation, verification, testing, and synthesis. Main application domains include embedded and cyber-physical systems, IoT, circuits, etc.

Model-Based System Design

Examples of research questions:

• What are the foundations of model-based design?

• What are the right modeling languages for the various application domains (automotive, avionics, industrial, medical, bio, …)

• What are the right specification languages?

• How to scale automatic verification to large systems?

• How to synthesize hardware and software automatically from high-level models?

Contact: Stavros Tripakis

Compositional Modeling & Analysis

From simple components to complex systems

Simulink

Modelica

UML/SysML

From models to systems