Se ha denunciado esta presentación.
Utilizamos tu perfil de LinkedIn y tus datos de actividad para personalizar los anuncios y mostrarte publicidad más relevante. Puedes cambiar tus preferencias de publicidad en cualquier momento.

Foundations of System Design

651 visualizaciones

Publicado el

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.

Publicado en: Ciencias
  • Inicia sesión para ver los comentarios

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

×