Academic Calendar 2024-2025

Search Results

Search Results for "ELEC 471"

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)
Requirements: Prerequisites: ELEC 279 or CMPE 212 Corequisites: Exclusions:  
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:

  1. CLOs coming soon; please refer to your course syllabus in the meantime.