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)
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)
