The Real Time Computing Environment CS 5270 Lecture 2 (?) Plane crash of the week… Last week: Motivation, and… FM (Formal methods) Definition of soft and hard RT systems…