How 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.

1. Associate Professor Stavros Tripakis
Foundations of
System Design

2. Foundations of System Design
How 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