RCTab v1.3.2 Section 00 - TDP Document Abstract v.1.1.0
Documentation Abstracts
RCTab v1.3.2 Section 01 - System Overview v.1.2.1
The System Overview provides a brief introduction to the RCTab software and its intended use cases.
RCTab v1.3.2 Section 02 - Software Design and Specifications v.1.4.2
The Software Design and Specifications document describes RCTab coding standards, programming language, in-house software, third-party software, and software logic. It is designed to respond to CVSS 9.5.
RCTab v1.3.2 Section 03 - System Hardware Specification v.1.1.1
The System Hardware Specification document describes potential hardware configurations on which the RCTab system can run.
RCTab v1.3.2 Section 04 - System Functionality Description v.1.1.1
The System Functionality Description describes suggested procedures for recovering from potential hardware or software failures when using an RCTab workstation.
RCTab v1.3.2 Section 05 - Acceptance Test Procedures v.1.2.1
Acceptance Test Procedures verify that RCTab is correctly configured and operating properly on an RCTab workstation. Acceptance tests should always be conducted on a new install of RCTab prior to its use in an election.
RCTab v1.3.2 Section 06 - System Design Specifications v.1.1.1
System Design Specifications describe the configuration options available to users when installing the RCTab software and briefly describe voting and audit data retention requirements.
RCTab v1.3.2 Section 07 - System Security Specification Requirements v.1.4.0
The System Security Specification Requirements describe processes and tools necessary to ensure access control, equipment and data security, software installation and security, air gap, event logging, physical security, setup inspection, cryptography, telecommunications, and other elements of an effective security program when deploying RCTab.
RCTab v1.3.2 - Section 07I - Design and Interface Specification v.1.0.0
This document provides a high-level design of RCTab, discusses external interfaces, and identifies threats RCTab protects against.
RCTab v1.3.2 Section 07J - Security Architecture v.1.0.0
This document provides an architecture level description of how the security requirements are met, and includes various authentication, access control, audit, confidentiality, integrity, and availability requirements.
RCTab v1.3.2 Section 07K - Development Environment Specification v.1.0.0
This document describes the physical, personnel, procedural, and technical security of the development environment including version control, tools used, coding standards used, software engineering model used, and a description of developer and independent testing
RCTab v1.3.2 - Section 07L - Security Threat Analysis v.1.0.0
This document identifies the threats the voting system protects against and the implemented security controls on voting system and system components.
RCTab v1.3.2 - Section 07M - Security Testing and Vulnerability Analysis Documentation v.1.0.0
This document describes security tests performed to identify vulnerabilities and the results of the testing. This also includes testing performed as part of software development, such as unit, module, and subsystem testing.
RCTab v1.3.2 Section 08 - System Operations Procedures v.1.2.2
System Operations Procedures provides a step-by-step guide for using RCTab. It walks users through launching the software, creating an RCTab configuration file, generating results files, and securing any results files.
RCTab v1.3.2 Section 09 - System Maintenance Manual v.1.3.2
This section discusses the support needed to adjust or repair components of RCTab. RCTab leverages content from the jurisdictions voting system, all maintenance on equipment should be referred to your voting system vendor. All RCTab hardware is COTS and software other than RCTab are also COTS.
RCTab v1.3.2 Section 10 - Personnel Deployment and Training v.1.2.1
It is recommended that RCTab is used by at least two people in compliance with the jurisdictions’ guidelines for partisan participation. Personnel should generally have a basic knowledge of desktop applications with some additional skills required for testing. Training requirements vary between two to eight hours depending on the task.
RCTab v1.3.2 Section 11 - L&A Testing v.1.3.2
The Logic & Accuracy Test document lays out an L&A for RCTab that will allow jurisdictions to verify that RCTab is correctly configured and operating properly.
RCTab v1.3.2 Section 12 - Configuration Management Plan v.2.3.2
The Configuration Management Plan describes RCTab’s development processes, how different versions of the software are managed, how to identify specific versions of the software, and provides details for functional and physical configuration audits of RCTab.
RCTab v1.3.2 Section 13 - Quality Assurance Plan v.1.2.2
This section describes the quality assurance plan used in RCTab development. It covers requirements, design process, and definition of RCTab software; determination of the specifications that a COTS device must meet in order to optimize RCTab installation and operation; process recommendations for centralization of CVR data prior to round-by-round counting; the validation and verification of the performance of RCTab; and validation and verification of the process for installation of RCTab on COTS hardware along with the necessary steps to secure the system as would be required in a jurisdiction.
RCTab v1.3.2 Section 14 - Tabulator Trusted Build Instructions v.1.2.2
This section explains how to create a trusted build of RCTab. It also provides a method for verifying whether the trusted build was successful.
RCTab v1.3.2 Section 15 - System Change Notes v.1.2.1
This section details the changes for each version of RCTab resulting from previous testing and certification. RCTab is currently used to produce official RCV results, as a testing tool, or as an auditing tool. The State of New York certified RCTab for use in single-winner RCV elections in the State, the State of Utah certified the RCTab for use in local RCV elections, and the State of Michigan certified RCTab for use in Eastpointe, Michigan’s RCV elections.
RCTab v1.3.2 Section 16 - System Hardening Procedures - Windows OS v.1.3.0
The system hardening procedures describe the steps that should be taken to secure an RCTab workstation against various potential attacks on the system. It describes how to harden the OS, how to retrieve verifiable versions of software for use on the RCTab workstation, and procedures for locking down external ports on an RCTab workstation.
RCTab v1.3.2 Section 17 - System Test and Verification Specification v.1.4.2
The System Test and Verification Specification lays out all tests regularly conducted on the RCTab software and describes how to determine if a test of RCTab succeeds or fails. It also provides detailed information about each individual test condition used to test the software.
RCTab v1.3.2 Section 18 - User Guide v.1.2.2
The User Guide provides a step-by-step guide for using RCTab. It walks users through launching the software, creating an RCTab configuration file, generating results files, and securing any results files.
RCTab v1.3.2 Section 19 - Tabulation Options for RCV Tabulation v.1.2.1
The Tabulation Options section is an enumeration and discussion of the various tabulation options that exist for Ranked Choice Voting (RCV) elections and how those options are or are not incorporated into RCTab. It also includes a glossary of ranked choice voting terms.
RCTab v1.3.2 Section 20 - Process Ranked Choice Voting Contest v.1.2.1
This section consists of an introduction, a flowchart, and a description of the flowchart laying out how RCV contests should be processed according to various rules in place in jurisdictions in the United States.
RCTab v1.3.2 Section 21 - Ballot Limitations & Maximum Testing Range v.1.1.1
This document describes RCVRC’s understanding of the maximum ballot ranges possible when creating RCV data from different voting system vendors.
RCTab v1.3.2 Section 22 - Installation Instructions for Windows OS v.1.3.0
This document describes the Windows OS installation process for RCTab.
RCTab v1.3.2 Section 23 - HashCode Instructions - Windows OS v.1.2.1
This document describes how to generate HashCodes when working on a Windows-based RCTab workstation.
RCTab v1.3.2 Section 24 - Tabulator Command Line Instructions v.1.1.2
This document describes how to launch and operate RCTab from the command line.
RCTab v1.3.2 Section 25 - Configuration File Parameters v.1.1.1
This document describes all parameters included in configuration files in the RCTab software.
RCTab v1.3.2 Section 26 - RCTab CVR Files v.1.2.2
This document describes the different CVR files RCTab is compatible with. It documents how they are laid out and describes relevant file structures that inform how RCTab parses CVR data.
RCTab v1.3.2 Section 27 - RCTab Config Files v.1.1.1
This document provides an example of an RCTab configuration file.
RCTab v1.3.2 Section 28 - Post-Election Audit & Clearing RCTab from System v.1.1.1
This document describes how to run a post-election tabulation audit and software audit of an RCTab installation. It also describes how to clear RCTab from a workstation if a fresh installation of RCTab is required.
RCTab v1.3.2 Section 29 - RCTab Operator Log Messages v.1.2.2
This section lays out all potential messages a user may receive through the RCTab operator log. It also suggests resolutions for any SEVERE errors that cause tabulation to fail.
RCTab v1.3.2 Section 30 - RCTab System Tab Hints v.1.1.1
This section recreates the Hints tab displayed to users in the RCTab UI.
RCTab v1.3.2 Section 31 - Coding and Header Comment Standards for RCTab v. 1.0.1
This section lays out the coding and header comment standards used in developing RCTab.
RCTab v1.3.2 Section 32 - Secure USB Process v.1.0.1
This section outlines the details of how the RCVRC selects and secures a USB for use and transport to the requestee.
Appendices
RCTab v1.3.2 - Expected Outcome RCV Test Sets Multi-Winner v.1.1.1
These tables lay out various tabulation conditions and expected outcomes in multi-winner RCV contests. They were used when developing the RCTab software to ensure different conditions were correctly handled by the software.
RCTab v1.3.2 - Expected Outcome RCV Test Sets Single-WInner v. 1.1.1
These tables lay out various tabulation conditions and expected outcomes in single-winner RCV contests. They were used when developing the RCTab software to ensure different conditions were correctly handled by the software.
RCTab v1.3.2 - Ranked Choice Voting Laws Appendix
This spreadsheet lays out the RCV statutes and regulations that governed development of the RCTab software.
RCTab v1.3.2 - 22-Month Archiving Procedure
This document provides a procedure for archiving RCTab and any election results data from its use in elections.
Document Revision History
| Date |
|
Description | Author |
|---|---|---|---|
| 11/2/23 | 1.1.0 | Include all 1.3.2 updates to the TDP in the table of contents | Mathew Ruberg |
| 04/28/2023 | 1.0.0 | RCTab v1.3.1 Table of Contents and Abstract | Kelly Sechrist |