Apr 25, 2024  
Undergraduate Record 2013-2014 
    
Catalog Navigation
  Catalog Home
  University of Virginia
  Board of Visitors and University Administration
  Admission
  Academic Calendar
  Dining, Housing, & Tuition and Fees
  Financial Aid
  University Regulations
  Programs and Degrees Offered
  College of Arts & Sciences
  School of Architecture
  McIntire School of Commerce
  Curry School of Education
  School of Engineering and Applied Science
  Frank Batten School of Leadership and Public Policy
  School of Nursing
  School of Continuing and Professional Studies
  ROTC
  Programs
  Course Descriptions
  Additional Academic Opportunities
  Student Services
  Reading Course Listings
  Archived Records
HELP
Undergraduate Record 2013-2014 [ARCHIVED RECORD]

CS 4434 - Dependable Computing Systems

Focuses on the techniques for designing and analyzing dependable computer-based systems. Topics include fault models and effects, fault avoidance techniques, hardware redundancy, error detecting and correcting codes, time redundancy, software redundancy, combinatorial reliability modeling, Markov reliability modeling, availability modeling, maintainability, safety modeling, trade-off analysis, design for testability, and the testing of redundant digital systems.



Credits: 3