Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Keyword
- Publication
- Publication Type
Articles 1 - 2 of 2
Full-Text Articles in Physical Sciences and Mathematics
57th Annual Rocky Mountain Conference On Magnetic Resonance
57th Annual Rocky Mountain Conference On Magnetic Resonance
Rocky Mountain Conference on Magnetic Resonance
Final program, abstracts, and information about the 57th annual meeting of the Rocky Mountain Conference on Magnetic Resonance, co-endorsed by the Colorado Section of the American Chemical Society and the Society for Applied Spectroscopy. Held in Snowbird, Utah, July 26-31, 2015.
Fail-Safe Test Generation Of Safety Critical Systems, Salwa Elakeili
Fail-Safe Test Generation Of Safety Critical Systems, Salwa Elakeili
Electronic Theses and Dissertations
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).