Specification, design, and analysis of real-time systems including real-time logics and decidability of real-time conditions; real-time scheduling approaches, system requirement specification; procedural and object-oriented methods; specialized analysis techniques for distributed and for control applications; team project. Prerequisite: CSE 5324 or concurrent enrollment.