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

642 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
  • Have u ever tried external professional writing services like ⇒ www.HelpWriting.net ⇐ ? I did and I am more than satisfied.
       Reply 
    Are you sure you want to  Yes  No
    Your message goes here
  • You can hardly find a student who enjoys writing a college papers. Among all the other tasks they get assigned in college, writing essays is one of the most difficult assignments. Fortunately for students, there are many offers nowadays which help to make this process easier. The best service which can help you is ⇒ www.HelpWriting.net ⇐
       Reply 
    Are you sure you want to  Yes  No
    Your message goes here
  • Writing a good research paper isn't easy and it's the fruit of hard work. For help you can check writing expert. Check out, please ⇒ www.WritePaper.info ⇐ I think they are the best
       Reply 
    Are you sure you want to  Yes  No
    Your message goes here

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

×