Diese Präsentation wurde erfolgreich gemeldet.
Wir verwenden Ihre LinkedIn Profilangaben und Informationen zu Ihren Aktivitäten, um Anzeigen zu personalisieren und Ihnen relevantere Inhalte anzuzeigen. Sie können Ihre Anzeigeneinstellungen jederzeit ändern.

Foundations of System Design

647 Aufrufe

Veröffentlicht am

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.

Veröffentlicht in: Wissenschaft
  • 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

×