CS 4514: Real-Time Systems

3 Credit Hours

Prerequisite: CS 3502
This course covers the software-development life cycle as it applies to real-time systems. Alternatives: • Including labs that involve the use of a real-time operating system and an associated development environment, or • Modeling with UML, and object oriented simulation. Introduction to formal specification of real-time systems. A course project is required to be completed by the end of the semester.