A “short list” of embedded systems

CS269: HW/SW Engineering of Embedded Systems, Winter02

Slight digression

•Sentential logic

–p, q

–p ^q, pvq, -p, p->q

–

•Linear Temporal Logic

–Time is linear sequence of points

•Gp: globally p

•Fp: eventually p

•Xp: next p

•pUq: p until q

•

•Example:

–Gp->Fp

•What’s always true is eventually true

–