ELEC 471 Safety Critical Software Engineering Units: 3.50
Methods and tools for software engineering in safety-critical systems. This is a project-based course where students develop software for a safety-critical real-time system from requirements. Topics include model-based design, hazard analysis, requirements tracing, real-time scheduling, code coverage analysis, coding standards, and formal verification.
(Lec: 3, Lab: 0.5, Tut: 0)
(Lec: 3, Lab: 0.5, Tut: 0)
Offering Term: F
CEAB Units:
Mathematics 0
Natural Sciences 0
Complementary Studies 0
Engineering Science 21
Engineering Design 21
Offering Faculty: Smith Engineering
Course Learning Outcomes:
- CLOs coming soon; please refer to your course syllabus in the meantime.