Modeling Faults to Improve Election Process Robustness

摘要: This paper presents an approach for continuous process improvement and illustrates its application to improving the robustness of election processes. In this approach, Little-JIL definition language is used create a precise detailed model process. Given potential undesirable event, or hazard, fault tree automatically derived. Fault analysis then identify combinations failures that might allow selected hazard occur. Once these have been identified, we iteratively improve increase against those seem most likely We demonstrate Yolo County focus our on ballot counting what happens when discrepancy found during count. two single points failure (SPFs) in propose modifications show remove SPFs.