Dec 26, 2024  
2023-2024 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
  The Moody School of Graduate and Advanced Studies
  Academic Programs
  Course Descriptions
  Right to Know
  Educational Programs
  Educational Facilities and Services
  Student Life and Housing
  Administration
  Financial Information Bulletin 2023-2024
  My Catalog
HELP
2023-2024 Graduate Catalog [ARCHIVED CATALOG]

Add to Catalog (opens a new window)

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