Apr 18, 2024  
Undergraduate Record 2014-2015 
    
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
  Course Numbering Information
  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
  Archived Records
HELP
Undergraduate Record 2014-2015 [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. Cross-listed as ECE 4434.
Prerequisite: APMA 2130, APMA 3100 with grades of C-or higher and CS 3330 or ECE 3430 with a grade of C- or higher.



Credits: 3