May 05, 2024  
2017-2018 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  About SMU
  Catalog Policy and Legal Statement
  Cox School of Business
  Dedman College of Humanities and Sciences
  Dedman School of Law
  Lyle School of Engineering
  Meadows School of the Arts
  Perkins School of Theology
  Simmons School of Education and Human Development
  SMU Guildhall
  Course Descriptions
  Right to Know
  Educational Programs
  Educational Facilities and Services
  Administration
  Financial Information Bulletin 2017-2018
  My Catalog
HELP
2017-2018 Graduate Catalog [ARCHIVED CATALOG]

Add to Catalog (opens a new window)

CSE 8317 - Software Reliability and Safety

Credits: 3

In-depth study of techniques for ensuring software reliability and safety. Topics include software reliability engineering, software safety engineering, and recent developments in those areas. Reliability concepts applied to the software domain and safety concepts applied to computer-intensive systems will be discussed. Specific techniques such as software reliability models and analysis methods, operational profiles, safety and hazard analysis using fault trees and event trees, and formal verification for safety-critical software systems will be covered.


Add to Catalog (opens a new window)