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
Top Related