Publications

The topic of this technical presentation is Use Control Software. The nuclear weapon software design community is being subjected to many surety forces that are stretching the envelope of their designs. Given that software is a critical part of the use control system design, we must work to limit the errors of the software development process. The objective of this paper is to discuss a methodology that the author, as a member of the Security and Use Control Assessment Department, is working on. This is the first introduction of the proposed methodology. Software that is a part of any use control system, subsystem, device, or component is critical to the operation of that apparatus. The software is expected to meet the criteria of modern software quality. In a use control application, meeting the normal quality standards is short of the expectations in meeting the use control obligations. The NWC community expects the use control features of a nuclear weapon to provide assurance that the weapon is protected from unauthorized nuclear detonation. The methodology that the author is proposing will provide a focused scrutiny to software that is used in the hardware of use control systems, subsystems, devices, and components. The methodology proposes further scrutiny of the structure of the software, memory, variables, storage, and control features.