{"id":4,"date":"2025-06-04T19:51:30","date_gmt":"2025-06-04T19:51:30","guid":{"rendered":"https:\/\/courses.cs.colostate.edu\/cs003\/?page_id=4"},"modified":"2025-12-28T15:42:55","modified_gmt":"2025-12-28T22:42:55","slug":"cs-001","status":"publish","type":"page","link":"https:\/\/courses.cs.colostate.edu\/cs530\/","title":{"rendered":"CS-530"},"content":{"rendered":"\n<h3 class=\"wp-block-heading\">Fault Tolerant Computing (website under construction)<\/h3>\n\n\n\n<p>Dependability is now a major requirement for all computing systems and applications. Computer hardware, software, data, networks, and systems are always subject to faults. The faults cannot be eliminated; however, their impact can be limited, and a suitably designed fault-tolerant system can function even in the presence of faults. This course introduces the widely applicable concepts in reliable and fault-tolerant computing. Topics to be covered include basic testing concepts, hardware and software faults, reliability evaluation, design and evaluation of redundant systems, the relationship between testing and reliability, software reliability growth, security vulnerabilities, and emerging issues.<br><br>The course will provide the students a background so that they can: understand techniques to model faults and know how to generate tests and evaluate effectiveness; evaluate reliability of systems with permanent and temporary faults; determine applicability of these forms of redundancy to enhance reliability: spatial, temporal, procedural; assess the relation between software testing and residual defects and security vulnerabilities, devise and analyze potential solutions for emerging issues.<\/p>\n\n\n<style>.wp-block-kadence-column.kb-section-dir-horizontal > .kt-inside-inner-col > .kt-info-box22_38ba40-11 .kt-blocks-info-box-link-wrap{max-width:unset;}.kt-info-box22_38ba40-11 .kt-blocks-info-box-link-wrap{border-top:5px solid #1e4d2b;border-right:5px solid #1e4d2b;border-bottom:5px solid #1e4d2b;border-left:5px solid #1e4d2b;border-top-left-radius:0px;border-top-right-radius:0px;border-bottom-right-radius:0px;border-bottom-left-radius:0px;background:#ffffff;padding-top:var(--global-kb-spacing-xs, 1rem);padding-right:var(--global-kb-spacing-xs, 1rem);padding-bottom:var(--global-kb-spacing-xs, 1rem);padding-left:var(--global-kb-spacing-xs, 1rem);margin-bottom:var(--global-kb-spacing-xs, 1rem);}.kt-info-box22_38ba40-11 .kadence-info-box-icon-container .kt-info-svg-icon, .kt-info-box22_38ba40-11 .kt-info-svg-icon-flip, .kt-info-box22_38ba40-11 .kt-blocks-info-box-number{font-size:50px;}.kt-info-box22_38ba40-11 .kt-blocks-info-box-media{color:#ff0000;border-radius:200px;overflow:hidden;border-top-width:0px;border-right-width:0px;border-bottom-width:0px;border-left-width:0px;padding-top:20px;padding-right:20px;padding-bottom:20px;padding-left:20px;margin-top:0px;margin-right:20px;margin-bottom:0px;margin-left:0px;}.kt-info-box22_38ba40-11 .kt-blocks-info-box-media .kadence-info-box-image-intrisic img{border-radius:200px;}.kt-info-box22_38ba40-11 .kt-infobox-textcontent p.kt-blocks-info-box-title{font-size:var(--global-kb-font-size-lg, 2rem);padding-top:0px;padding-right:0px;padding-bottom:0px;padding-left:0px;margin-top:5px;margin-right:0px;margin-bottom:10px;margin-left:0px;}.wp-block-kadence-infobox.kt-info-box22_38ba40-11 .kt-blocks-info-box-text{padding-top:0px;padding-right:0px;padding-left:0px;margin-top:0px;margin-right:0px;margin-left:0px;}.kt-info-box22_38ba40-11 .kt-blocks-info-box-learnmore{background:transparent;border-width:0px 0px 0px 0px;padding-top:4px;padding-right:8px;padding-bottom:4px;padding-left:8px;margin-top:10px;margin-right:0px;margin-bottom:10px;margin-left:0px;}@media all and (max-width: 1024px){.kt-info-box22_38ba40-11 .kt-blocks-info-box-link-wrap{border-top:5px solid #1e4d2b;border-right:5px solid #1e4d2b;border-bottom:5px solid #1e4d2b;border-left:5px solid #1e4d2b;}}@media all and (max-width: 767px){.kt-info-box22_38ba40-11 .kt-blocks-info-box-link-wrap{border-top:5px solid #1e4d2b;border-right:5px solid #1e4d2b;border-bottom:5px solid #1e4d2b;border-left:5px solid #1e4d2b;}}<\/style>\n<div class=\"wp-block-kadence-infobox kt-info-box22_38ba40-11\"><span class=\"kt-blocks-info-box-link-wrap info-box-link kt-blocks-info-box-media-align-left kt-info-halign-left\"><div class=\"kt-blocks-info-box-media-container\"><div class=\"kt-blocks-info-box-media kt-info-media-animate-none\"><div class=\"kadence-info-box-icon-container kt-info-icon-animate-none\"><div class=\"kadence-info-box-icon-inner-container\"><span class=\"kb-svg-icon-wrap kb-svg-icon-fe_alertOctagon kt-info-svg-icon\"><svg viewBox=\"0 0 24 24\"  fill=\"none\" stroke=\"currentColor\" stroke-width=\"2\" stroke-linecap=\"round\" stroke-linejoin=\"round\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"  aria-hidden=\"true\"><polygon points=\"7.86 2 16.14 2 22 7.86 22 16.14 16.14 22 7.86 22 2 16.14 2 7.86 7.86 2\"\/><line x1=\"12\" y1=\"8\" x2=\"12\" y2=\"12\"\/><line x1=\"12\" y1=\"16\" x2=\"12\" y2=\"16\"\/><\/svg><\/span><\/div><\/div><\/div><\/div><div class=\"kt-infobox-textcontent\"><p class=\"kt-blocks-info-box-title\">Sample Content<\/p><p class=\"kt-blocks-info-box-text\">The content on this page is placeholder text<\/p><\/div><\/span><\/div>\n\n\n\n<h4 class=\"wp-block-heading\">2025 Fall Semester Details<\/h4>\n\n\n\n<div class=\"wp-block-group is-nowrap is-layout-flex wp-container-core-group-is-layout-ad2f72ca wp-block-group-is-layout-flex\">\n<div class=\"wp-block-columns wp-container-content-9cfa9a5a is-layout-flex wp-container-core-columns-is-layout-9d6595d7 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<h5 class=\"wp-block-heading\">Instructor(s)<\/h5>\n\n\n<style>.kb-table-container4_9ba4ca-32{overflow-x:auto;}.kb-table-container .kb-table4_9ba4ca-32 th{padding-top:var(--global-kb-spacing-xxs, 0.5rem);padding-right:var(--global-kb-spacing-xxs, 0.5rem);padding-bottom:var(--global-kb-spacing-xxs, 0.5rem);padding-left:var(--global-kb-spacing-xxs, 0.5rem);text-align:right;}.kb-table-container .kb-table4_9ba4ca-32 caption{text-align:center;}.kb-table-container .kb-table4_9ba4ca-32 td{padding-top:var(--global-kb-spacing-xxs, 0.5rem);padding-right:var(--global-kb-spacing-xxs, 0.5rem);padding-bottom:var(--global-kb-spacing-xxs, 0.5rem);padding-left:var(--global-kb-spacing-xxs, 0.5rem);text-align:left;}.kb-table-container .kb-table4_9ba4ca-32 tr{border-top:1px solid #888;border-right:1px solid #888;border-bottom:1px solid #888;border-left:1px solid #888;}@media all and (max-width: 1024px){.kb-table-container .kb-table4_9ba4ca-32 tr{border-top:1px solid #888;border-right:1px solid #888;border-bottom:1px solid #888;border-left:1px solid #888;}}@media all and (max-width: 767px){.kb-table-container .kb-table4_9ba4ca-32 tr{border-top:1px solid #888;border-right:1px solid #888;border-bottom:1px solid #888;border-left:1px solid #888;}}<\/style><div class=\"kb-table-container kb-table-container4_9ba4ca-32 wp-block-kadence-table\"><table class=\"kb-table kb-table4_9ba4ca-32\">\n<tr class=\"kb-table-row kb-table-row4_170755-54\">\n<td class=\"kb-table-data kb-table-data4_b4a01f-dc\">\n\n<p><strong>Instructor<\/strong><\/p>\n\n<\/td>\n\n<td class=\"kb-table-data kb-table-data4_1ab8d2-bb\">\n\n<p>Yashwant Malaiya<\/p>\n\n<\/td>\n<\/tr>\n\n<tr class=\"kb-table-row kb-table-row4_35a45a-77\">\n<td class=\"kb-table-data kb-table-data4_0fe0f0-db\">\n\n<p><strong>Office<\/strong><\/p>\n\n<\/td>\n\n<td class=\"kb-table-data kb-table-data4_418880-51\">\n\n<p>356 CS Building<\/p>\n\n<\/td>\n<\/tr>\n\n<tr class=\"kb-table-row kb-table-row4_a62e2b-c1\">\n<td class=\"kb-table-data kb-table-data4_bc694d-de\">\n\n<p><strong>Email<\/strong><\/p>\n\n<\/td>\n\n<td class=\"kb-table-data kb-table-data4_c0ba5e-78\">\n\n<p><a href=\"mailto:cs530@cs.colostate.edu\">cs530@cs.colostate.edu<\/a><\/p>\n\n<\/td>\n<\/tr>\n\n<tr class=\"kb-table-row kb-table-row4_3ad8c5-02\">\n<td class=\"kb-table-data kb-table-data4_3ff462-5a\">\n\n<p><strong>Office Hours<\/strong><\/p>\n\n<\/td>\n\n<td class=\"kb-table-data kb-table-data4_b37505-e5\">\n\n<p>TBD<\/p>\n\n<\/td>\n<\/tr>\n<\/table><\/div><\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<h5 class=\"wp-block-heading\">Class Schedule<\/h5>\n\n\n<style>.kb-table-container4_07f42a-d8{overflow-x:auto;}.kb-table-container .kb-table4_07f42a-d8 th{padding-top:var(--global-kb-spacing-xxs, 0.5rem);padding-right:var(--global-kb-spacing-xxs, 0.5rem);padding-bottom:var(--global-kb-spacing-xxs, 0.5rem);padding-left:var(--global-kb-spacing-xxs, 0.5rem);text-align:center;}.kb-table-container .kb-table4_07f42a-d8 caption{text-align:center;}.kb-table-container .kb-table4_07f42a-d8 td{padding-top:var(--global-kb-spacing-xxs, 0.5rem);padding-right:var(--global-kb-spacing-xxs, 0.5rem);padding-bottom:var(--global-kb-spacing-xxs, 0.5rem);padding-left:var(--global-kb-spacing-xxs, 0.5rem);text-align:left;}.kb-table-container .kb-table4_07f42a-d8 tr{border-top:1px solid #888;border-right:1px solid #888;border-bottom:1px solid #888;border-left:1px solid #888;}@media all and (max-width: 1024px){.kb-table-container .kb-table4_07f42a-d8 tr{border-top:1px solid #888;border-right:1px solid #888;border-bottom:1px solid #888;border-left:1px solid #888;}}@media all and (max-width: 767px){.kb-table-container .kb-table4_07f42a-d8 tr{border-top:1px solid #888;border-right:1px solid #888;border-bottom:1px solid #888;border-left:1px solid #888;}}<\/style><div class=\"kb-table-container kb-table-container4_07f42a-d8 wp-block-kadence-table\"><table class=\"kb-table kb-table4_07f42a-d8\">\n<tr class=\"kb-table-row kb-table-row4_76cbba-eb\">\n<th class=\"kb-table-data kb-table-data4_fb9170-a7\">\n\n<p>Section<\/p>\n\n<\/th>\n\n<th class=\"kb-table-data kb-table-data4_7b09a2-a3\">\n\n<p>Schedule<\/p>\n\n<\/th>\n\n<th class=\"kb-table-data kb-table-data4_d89863-cf\">\n\n<p>Location<\/p>\n\n<\/th>\n\n<th class=\"kb-table-data kb-table-data4_c4f2e9-0d\">\n\n<p>Instructor<\/p>\n\n<\/th>\n<\/tr>\n\n<tr class=\"kb-table-row kb-table-row4_6ae12b-bf\">\n<td class=\"kb-table-data kb-table-data4_c1bdbe-df\">\n\n<p>001<\/p>\n\n<\/td>\n\n<td class=\"kb-table-data kb-table-data4_3dbf82-79\">\n\n<p>T Th 3:30p &#8211; 4:45p<\/p>\n\n<\/td>\n\n<td class=\"kb-table-data kb-table-data4_130cee-fd\">\n\n<p>Eddie<\/p>\n\n<\/td>\n\n<td class=\"kb-table-data kb-table-data4_983ccf-64\">\n\n<p>102<\/p>\n\n<\/td>\n<\/tr>\n\n<tr class=\"kb-table-row kb-table-row4_ae92b0-fd\">\n<td class=\"kb-table-data kb-table-data4_94fc11-da\">\n\n<p>801<\/p>\n\n<\/td>\n\n<td class=\"kb-table-data kb-table-data4_ca401b-2a\">\n\n<p>Async<\/p>\n\n<\/td>\n\n<td class=\"kb-table-data kb-table-data4_3b1e40-2f\">\n\n<p>Online<\/p>\n\n<\/td>\n\n<td class=\"kb-table-data kb-table-data4_521d86-ef\">\n\n<p>AI<\/p>\n\n<\/td>\n<\/tr>\n<\/table><\/div><\/div>\n<\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-group is-nowrap is-layout-flex wp-container-core-group-is-layout-ad2f72ca wp-block-group-is-layout-flex\">\n<div class=\"wp-block-columns wp-container-content-9cfa9a5a is-layout-flex wp-container-core-columns-is-layout-9d6595d7 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<h5 class=\"wp-block-heading\" id=\"TAs\">TA Information<\/h5>\n\n\n<style>.wp-block-kadence-column.kb-section-dir-horizontal > .kt-inside-inner-col > .kt-info-box22_38ba40-11 .kt-blocks-info-box-link-wrap{max-width:unset;}.kt-info-box22_38ba40-11 .kt-blocks-info-box-link-wrap{border-top:5px solid #1e4d2b;border-right:5px solid #1e4d2b;border-bottom:5px solid #1e4d2b;border-left:5px solid #1e4d2b;border-top-left-radius:0px;border-top-right-radius:0px;border-bottom-right-radius:0px;border-bottom-left-radius:0px;background:#ffffff;padding-top:var(--global-kb-spacing-xs, 1rem);padding-right:var(--global-kb-spacing-xs, 1rem);padding-bottom:var(--global-kb-spacing-xs, 1rem);padding-left:var(--global-kb-spacing-xs, 1rem);margin-bottom:var(--global-kb-spacing-xs, 1rem);}.kt-info-box22_38ba40-11 .kadence-info-box-icon-container .kt-info-svg-icon, .kt-info-box22_38ba40-11 .kt-info-svg-icon-flip, .kt-info-box22_38ba40-11 .kt-blocks-info-box-number{font-size:50px;}.kt-info-box22_38ba40-11 .kt-blocks-info-box-media{color:#ff0000;border-radius:200px;overflow:hidden;border-top-width:0px;border-right-width:0px;border-bottom-width:0px;border-left-width:0px;padding-top:20px;padding-right:20px;padding-bottom:20px;padding-left:20px;margin-top:0px;margin-right:20px;margin-bottom:0px;margin-left:0px;}.kt-info-box22_38ba40-11 .kt-blocks-info-box-media .kadence-info-box-image-intrisic img{border-radius:200px;}.kt-info-box22_38ba40-11 .kt-infobox-textcontent p.kt-blocks-info-box-title{font-size:var(--global-kb-font-size-lg, 2rem);padding-top:0px;padding-right:0px;padding-bottom:0px;padding-left:0px;margin-top:5px;margin-right:0px;margin-bottom:10px;margin-left:0px;}.wp-block-kadence-infobox.kt-info-box22_38ba40-11 .kt-blocks-info-box-text{padding-top:0px;padding-right:0px;padding-left:0px;margin-top:0px;margin-right:0px;margin-left:0px;}.kt-info-box22_38ba40-11 .kt-blocks-info-box-learnmore{background:transparent;border-width:0px 0px 0px 0px;padding-top:4px;padding-right:8px;padding-bottom:4px;padding-left:8px;margin-top:10px;margin-right:0px;margin-bottom:10px;margin-left:0px;}@media all and (max-width: 1024px){.kt-info-box22_38ba40-11 .kt-blocks-info-box-link-wrap{border-top:5px solid #1e4d2b;border-right:5px solid #1e4d2b;border-bottom:5px solid #1e4d2b;border-left:5px solid #1e4d2b;}}@media all and (max-width: 767px){.kt-info-box22_38ba40-11 .kt-blocks-info-box-link-wrap{border-top:5px solid #1e4d2b;border-right:5px solid #1e4d2b;border-bottom:5px solid #1e4d2b;border-left:5px solid #1e4d2b;}}<\/style>\n<div class=\"wp-block-kadence-infobox kt-info-box22_38ba40-11\"><span class=\"kt-blocks-info-box-link-wrap info-box-link kt-blocks-info-box-media-align-left kt-info-halign-left\"><div class=\"kt-blocks-info-box-media-container\"><div class=\"kt-blocks-info-box-media kt-info-media-animate-none\"><div class=\"kadence-info-box-icon-container kt-info-icon-animate-none\"><div class=\"kadence-info-box-icon-inner-container\"><span class=\"kb-svg-icon-wrap kb-svg-icon-fe_alertOctagon kt-info-svg-icon\"><svg viewBox=\"0 0 24 24\"  fill=\"none\" stroke=\"currentColor\" stroke-width=\"2\" stroke-linecap=\"round\" stroke-linejoin=\"round\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"  aria-hidden=\"true\"><polygon points=\"7.86 2 16.14 2 22 7.86 22 16.14 16.14 22 7.86 22 2 16.14 2 7.86 7.86 2\"\/><line x1=\"12\" y1=\"8\" x2=\"12\" y2=\"12\"\/><line x1=\"12\" y1=\"16\" x2=\"12\" y2=\"16\"\/><\/svg><\/span><\/div><\/div><\/div><\/div><div class=\"kt-infobox-textcontent\"><p class=\"kt-blocks-info-box-title\">Sample Content<\/p><p class=\"kt-blocks-info-box-text\">The content on this page is placeholder text<\/p><\/div><\/span><\/div>\n\n\n<style>.kb-table-container4_821fc4-ff{overflow-x:auto;}.kb-table-container .kb-table4_821fc4-ff th{padding-top:var(--global-kb-spacing-xxs, 0.5rem);padding-right:var(--global-kb-spacing-xxs, 0.5rem);padding-bottom:var(--global-kb-spacing-xxs, 0.5rem);padding-left:var(--global-kb-spacing-xxs, 0.5rem);text-align:center;}.kb-table-container .kb-table4_821fc4-ff caption{text-align:center;}.kb-table-container .kb-table4_821fc4-ff td{padding-top:var(--global-kb-spacing-xxs, 0.5rem);padding-right:var(--global-kb-spacing-xxs, 0.5rem);padding-bottom:var(--global-kb-spacing-xxs, 0.5rem);padding-left:var(--global-kb-spacing-xxs, 0.5rem);text-align:left;}.kb-table-container .kb-table4_821fc4-ff tr{border-top:1px solid #888;border-right:1px solid #888;border-bottom:1px solid #888;border-left:1px solid #888;}@media all and (max-width: 1024px){.kb-table-container .kb-table4_821fc4-ff tr{border-top:1px solid #888;border-right:1px solid #888;border-bottom:1px solid #888;border-left:1px solid #888;}}@media all and (max-width: 767px){.kb-table-container .kb-table4_821fc4-ff tr{border-top:1px solid #888;border-right:1px solid #888;border-bottom:1px solid #888;border-left:1px solid #888;}}<\/style><div class=\"kb-table-container kb-table-container4_821fc4-ff wp-block-kadence-table\"><table class=\"kb-table kb-table4_821fc4-ff\">\n<tr class=\"kb-table-row kb-table-row4_e22a94-32\">\n<th class=\"kb-table-data kb-table-data4_254192-f9\">\n\n<p>Name<\/p>\n\n<\/th>\n\n<th class=\"kb-table-data kb-table-data4_29769e-1b\">\n\n<p>Role<\/p>\n\n<\/th>\n\n<th class=\"kb-table-data kb-table-data4_f9379e-35\">\n\n<p>Initials<\/p>\n\n<\/th>\n<\/tr>\n<\/table><\/div><\/div>\n<\/div>\n<\/div>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Fault Tolerant Computing (website under construction) Dependability is now a major requirement for all computing systems and applications. Computer hardware, software, data, networks, and systems are always subject to faults. The faults cannot be eliminated; however, their impact can be limited, and a suitably designed fault-tolerant system can function even in the presence of faults. [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"template-no-page-title.php","meta":{"_kad_blocks_custom_css":"","_kad_blocks_head_custom_js":"","_kad_blocks_body_custom_js":"","_kad_blocks_footer_custom_js":"","footnotes":""},"class_list":["post-4","page","type-page","status-publish","hentry","post-preview"],"taxonomy_info":[],"featured_image_src_large":false,"author_info":{"display_name":"admin","author_link":"https:\/\/courses.cs.colostate.edu\/cs530\/author\/admin_41g0qmxe\/"},"comment_info":0,"_links":{"self":[{"href":"https:\/\/courses.cs.colostate.edu\/cs530\/wp-json\/wp\/v2\/pages\/4","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/courses.cs.colostate.edu\/cs530\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/courses.cs.colostate.edu\/cs530\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/courses.cs.colostate.edu\/cs530\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/courses.cs.colostate.edu\/cs530\/wp-json\/wp\/v2\/comments?post=4"}],"version-history":[{"count":17,"href":"https:\/\/courses.cs.colostate.edu\/cs530\/wp-json\/wp\/v2\/pages\/4\/revisions"}],"predecessor-version":[{"id":76,"href":"https:\/\/courses.cs.colostate.edu\/cs530\/wp-json\/wp\/v2\/pages\/4\/revisions\/76"}],"wp:attachment":[{"href":"https:\/\/courses.cs.colostate.edu\/cs530\/wp-json\/wp\/v2\/media?parent=4"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}