Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Foundations of System Design

645 views

Published on

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.

Published in: Science
  • Login to see the comments

Foundations of System Design

  1. 1. Associate Professor Stavros Tripakis Foundations of System Design
  2. 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

×