Search Results

S E 421: Software Analysis and Verification for Safety and Security

(Cross-listed with CPR E). Cr. 3. F.S.

Prereq: COM S 309; CPR E 310 or Com S 230
Significance of software safety and security; various facets of security in cyber-physical and computer systems; threat modeling for software safety and security; and categorization of software vulnerabilities. Software analysis and verification: mathematical foundations, data structures and algorithms, program comprehension, analysis, and verification tools; automated vs. human-on-the-loop approach to analysis and verification; and practical considerations of efficiency, accuracy, robustness, and scalability of analysis and verification. Cases studies with application and systems software; evolving landscape of software security threats and mitigation techniques. Understanding large software, implementing software analysis and verification algorithms.

Mechanical Engineering

http://catalog.iastate.edu/collegeofengineering/mechanicalengineering/

For the undergraduate curriculum in mechanical engineering leading to the degree bachelor of science. The Mechanical Engineering program is accredited by the Engineering Accreditation Commission of ABET, http://www.abet.org/ .