EECS 20 Lecture 1 (January 17, 2001) Tom Henzinger Motivation
BridgeStatic equations Aircraft Flight equations TEST SIMULATE CALCULATE REALITYMODEL
REALITYMODEL BridgeStatic equations Aircraft Flight equations TEST SIMULATE CALCULATE Abstract Build Predict
Piece of hardware??? Piece of software ??? Wrong questions ! REALITYMODEL
Piece of information Transformer of information REALITYMODEL - audio - video - text - for communication - for computation - for storage
Piece of information Transformer of information REALITYMODEL - audio - video - text - for communication - for computation - for storage “Signal” “System” State machines Linear equations Mathematical functions
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
Sound: Time Air pressure Time Air pressure Signal
z := x+1; y := 2· z xy Sound: Time Air pressure Program: Inputs Outputs Time Air pressure Signal InputOutput System
z := x+1; y := 2· z xy Sound: Time Air pressure Program: Inputs Outputs Time InputOutput Air pressure Signal System Function description Function prescription