The Community for Technology Leaders
2013 IEEE 43rd International Symposium on Multiple-Valued Logic (2012)
Victoria, British Columbia Canada
May 14, 2012 to May 16, 2012
ISSN: 0195-623X
ISBN: 978-0-7695-4673-5
pp: 244-249
ABSTRACT
Design for medical system reliability has become an area of increasing importance. Medical system threats, which include system failures as well as malicious attacks, often have interdependent events that can adversely affect system operation. To address these problems, we build upon our previous threat cataloging methodology such that a large number of interdependent threats can be efficiently cataloged and analyzed for common features. Our approach utilizes Multiple-Valued Logic for describing the state of a large system and a multiple-valued decision diagram (MDD) for the threat catalog and analysis.
INDEX TERMS
medical system analysis, threat cataloging, MDD, threat probability analysis
CITATION
Theodore W. Manikas, Mitchell A. Thornton, David Y. Feinstein, "Modeling Medical System Threats with Conditional Probabilities Using Multiple-Valued Logic Decision Diagrams", 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, vol. 00, no. , pp. 244-249, 2012, doi:10.1109/ISMVL.2012.29
149 ms
(Ver 3.3 (11022016))