This dissertation introduces a technique for testing proper failure mitigation in safety critical systems. Unlike other approaches which integrate behavioral and failure models, and then generate tests from the integrated model, we build safety mitigation tests from an existing behavioral test suite, using an explicit mitigation model for which we generate mitigation paths which are then woven at selected failure points into the original test suite to create failure-mitigation tests (safety mitigation test).
","abstract_html":"<p>This dissertation introduces a technique for testing proper failure mitigation in safety critical systems. Unlike other approaches which integrate behavioral and failure models, and then generate tests from the integrated model, we build safety mitigation tests from an existing behavioral test suite, using an explicit mitigation model for which we generate mitigation paths which are then woven at selected failure points into the original test suite to create failure-mitigation tests (safety mitigation test).</p>","abstract_has_math":false,"creators":["Elakeili, Salwa"],"institution":null,"degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":null,"degree_department":null,"school":null,"contributors":["Anneliese Andrews, Ph.D.","Martin Quigley, Ph.D.","Matthew Rutherford","Rinku Dewri"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2015,"date_issued":"2015-03-01T08:00:00Z","date_published":"2015-03-01T08:00:00Z","updated_at":"2026-07-24T02:02:38Z","subjects":["Safety-critical systems","Model based testing","Failure mitigation","Computer Engineering","Computer Sciences"],"languages":["en"],"rights":["Copyright is held by the author. User is responsible for all copyright compliance.
"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://digitalcommons.du.edu/etd/180","outbound_label":"Repository record","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Anneliese Andrews, Ph.D.","Martin Quigley, Ph.D.","Matthew Rutherford","Rinku Dewri"]},{"key":"dc:creator","label":"Author","values":["Elakeili, Salwa"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.available","label":"Dc Date Available","values":["2001-01-01T08:00:00Z"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph.D."]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Safety-critical systems","Model based testing","Failure mitigation","Computer Engineering","Computer Sciences"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright is held by the author. User is responsible for all copyright compliance.
"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["https://digitalcommons.du.edu/etd/180"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["This dissertation introduces a technique for testing proper failure mitigation in safety critical systems. Unlike other approaches which integrate behavioral and failure models, and then generate tests from the integrated model, we build safety mitigation tests from an existing behavioral test suite, using an explicit mitigation model for which we generate mitigation paths which are then woven at selected failure points into the original test suite to create failure-mitigation tests (safety mitigation test).
"]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Fail-Safe Test Generation of Safety Critical Systems"]}]}],"canonical_facts":{"dc:contributor":["Anneliese Andrews, Ph.D.","Martin Quigley, Ph.D.","Matthew Rutherford","Rinku Dewri"],"dc:creator":["Elakeili, Salwa"],"dc:date.available":["2001-01-01T08:00:00Z"],"dc:description.abstract":["This dissertation introduces a technique for testing proper failure mitigation in safety critical systems. Unlike other approaches which integrate behavioral and failure models, and then generate tests from the integrated model, we build safety mitigation tests from an existing behavioral test suite, using an explicit mitigation model for which we generate mitigation paths which are then woven at selected failure points into the original test suite to create failure-mitigation tests (safety mitigation test).
"],"dc:format":["application/pdf"],"dc:identifier":["https://digitalcommons.du.edu/etd/180"],"dc:language":["en"],"dc:rights":["Copyright is held by the author. User is responsible for all copyright compliance.
"],"dc:subject":["Safety-critical systems","Model based testing","Failure mitigation","Computer Engineering","Computer Sciences"],"dc:title":["Fail-Safe Test Generation of Safety Critical Systems"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."]},"updated_at":"2026-07-24T02:02:38Z"}