Modeling Medical System Threats with Conditional Probabilities Using Multiple-Valued Logic Decision Diagrams

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 th...

Full description

Saved in:
Bibliographic Details
Main Authors: Manikas, T. W., Feinstein, D. Y., Thornton, M. A.
Format: Conference Proceeding
Language:English
Subjects:
Boolean functions
Data structures
Fault trees
MDD
Medical diagnostic imaging
Medical services
medical system analysis
Probabilistic logic
Safety
threat cataloging
threat probability analysis
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0195-623X
2378-2226
DOI:10.1109/ISMVL.2012.29