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

2. REALITY
MODEL
Bridge
Static equations
Flight equations
Aircraft
SIMULATE CALCULATE
TEST

3. REALITY
MODEL
Bridge
Static equations
Abstract
Build Predict
Flight equations
Aircraft
SIMULATE CALCULATE
TEST

4. REALITY
MODEL
Piece of hardware
???
???
Piece of software
Wrong questions !

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

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

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

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

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

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