1. EECS 20 Lecture 1 (January 17, 2001) Tom Henzinger Motivation

2. BridgeStatic equations Aircraft Flight equations TEST SIMULATE CALCULATE REALITYMODEL

3. REALITYMODEL BridgeStatic equations Aircraft Flight equations TEST SIMULATE CALCULATE Abstract Build Predict

4. Piece of hardware??? Piece of software ??? Wrong questions ! REALITYMODEL

5. Piece of information Transformer of information REALITYMODEL - audio - video - text - for communication - for computation - for storage

6. Piece of information Transformer of information REALITYMODEL - audio - video - text - for communication - for computation - for storage “Signal” “System” State machines Linear equations Mathematical functions

7. Piece of information Transformer of information REALITYMODEL - audio - video - text - for communication - for computation - for storage “Signal” “System” State machines Linear equations Mathematical functions Abstract Implement Predict Simulate Calculate

8. Sound: Time  Air pressure Time Air pressure Signal

9. z := x+1; y := 2· z xy Sound: Time  Air pressure Program: Inputs  Outputs Time Air pressure Signal InputOutput System

10. z := x+1; y := 2· z xy Sound: Time  Air pressure Program: Inputs  Outputs Time InputOutput Air pressure Signal System Function description Function prescription