Engineering 390sp - Seminar: Advanced Topics in Engineering-Specifications

This course provides an in-depth exploration of the engineering principles required to define and specify complex systems where failure is not an option. It bridges the gap between rigorous technical correctness and the messy reality of human interaction. Through the study of socio-technical systems, students learn to distinguish between reliability, safety, and security in high-stakes environments. Using case studies and hands-on exercises, students apply formal and semi-formal specification methods to mathematically model system behavior. Students work together to design and specify systems that take into account operator error and are designed to fail gracefully in the event of unexpected states. Finally, the course reviews legal and regulatory issues associated with safety-critical systems. Prerequisites: EGR 220 and one of: CSC 110, CSC 120, CSC 205/ MTH 205, CSC 210 or CSC 220. Restrictions: Juniors and seniors only; Engineering majors only. Enrollment limited to 12. (E)

[CE] JR/SR only, EGR Majors only; Prereq: EGR 220 and CSC 110, CSC 120, CSC 205/MTH 205, CSC 210 or CSC 220