Course Information
- Syllabus (Updated for Spring 2025)
- Lectures (Updated April 9, 2025)
- Exams
- Exam 1: Wednesday, Feb. 19, 2025 (tentative)
- Exam 2: Wednesday, April 23, 2025
- Homework (Submit assignments via D2L)
- Miniproject (Check D2L for assignments)
Announcements
- (2025): A few classes will be synchronous, online (will be announced in advance by instructor), where in-class participation requires students to have camera and microphone
- Additional Resources for Backup Rollover Prevention
Administrative Information
- MSU Virtual Backgrounds: Virtual Backgrounds created by College of Engineering staff
- Modeling Resources
-
Visual Paradigm for UML Modeling and More Academic Partner Program has made possible the use of VP-UML at Michigan State University for educational purpose (see email regarding MSU academic licenses).
- Bibliography Citation Format and BibTex Resources
- IEEE Format for citations
- General Information about using BibTeX
- Web-based interface for creating BibTeX entries
- Specific instructions for creating BibTeX entry for website.
- LaTeX Resources: Structured, ASCII-based approach to formatting scientific papers.
Useful Links
- High-Assurance Systems
- Crowdstrike:Root Cause Analysis Report (Details for cause for outage)
- Boeing 737 MAX Accidents
- Boeing 737 MAX MCAS Problems (Seattle Times, June 2019)
- "The Boeing 737 MAX: Lessons for Engineering Ethics" (Herkert J, Borenstein J, Miller K., Sci Eng Ethics. 2020 Dec;26(6):2957-2974)
- Therac Article
- Toyota Unintended Acceleration and the Big Bowl of "Spaghetti Code"
- Requirements Engineering
- Four Dark Corners of Requirements Engineering
- Requirements Engineering Chapter J. Atlee
- KAOS Tutorial
- NFR Overview
- OOA and Goal Modeling
- IEEE Software Requirements Specification Template (SRS)
- Design Pattern Resources
- Hillside Collection of Patterns
- Embedded Systems Design Patterns
- Real-time Design Patterns by Bruce Powel Douglass
- Aspect Orientation Resources
- Security Pattern Resources