acronyms.lando

// Copyright 2021, 2022, 2023 Galois, Inc.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

subsystem Proposal Acronyms (Acronyms)
A list of words formed by combining the initial letters of a multipart
name.

component ISO ANSI C Specification Language (ACSL)
The ANSI/ISO C Specification Language (ACSL) is a behavioral
specification language for C programs.

component Application Programming Interface (API)
A system access point or library function that has a well-defined
syntax and is accessible from application programs or user code to
provide well-defined functionality.

component Application-Specific Integrated Circuit (ASIC)
Custom-designed and/or custom-manufactured integrated circuits.

component Commercial Off The Shelf (COTS)
Software and hardware that already exists and is available from
commercial sources.

component Central Processing Unit (CPU)
A CPU is the electronic circuitry that executes instructions
comprising a computer program.

component Continuous Verification (CV)
Continuous Verification (CV) is the process of consistently validating
the functionality and performance of a system throughout its
development lifecycle.

component Communicating Sequential Processes (CSP)
Communicating Sequential Processes (CSP) is a formal language for
describing patterns of interaction in concurrent systems.

component Digital Engineering (DE)
Digital Engineering (DE) is an integrated approach that uses digital
technologies and models to enhance engineering practices.

component Digital Instrumentation & Control (DI&C)
Digital Instrumentation & Control (DI&C) involves using digital
systems for monitoring and controlling processes in industries such as
nuclear power.

component Defense Industrial Base (DIB)
The Defense Industrial Base (DIB) comprises the Department of
Defense's industrial partners who provide operational capabilities for
national defense.

component Department of Defense (DoD)
The Department of Defense (DoD) is an executive branch department of
the U.S. government charged with coordinating and supervising all
agencies and functions of the government related directly to national
security and the United States Armed Forces.

component Domain Specific Language (DSL)
A Domain Specific Language (DSL) is a computer language specialized to
a particular application domain.

component Electronic Design Automation (EDA)
Electronic Design Automation (EDA) is the category of tools for
designing and producing electronic systems ranging from printed
circuit boards to integrated circuits.

component Field Programmable Gate Array (FPGA)
A Field Programmable Gate Array (FPGA) is an integrated circuit
designed to be configured by a customer or a designer after
manufacturing – hence "field-programmable".

component Gnu Compiler Collection (GCC)
The Gnu Compiler Collection (GCC) is a compiler system produced by the
GNU Project supporting various programming languages.

component Government Furnished Equipment (GFE)
Government Furnished Equipment (GFE) refers to items provided by the
government to contractors, which are necessary for the performance of
a contract.

component Galois Low-energy Asynchronous Secure SoC for Computer Vision (GLASS-CV)
Galois Low-energy Asynchronous Secure SoC for Computer Vision
(GLASS-CV) is a specialized system-on-chip designed for efficient and
secure computer vision applications.

component General Purpose I/O (GPIO)
General Purpose I/O (GPIO) are input/output lines found on
microcontrollers to interface with other digital and analog devices.

component High-Assurance Rigorous Digital Engineering for Nuclear Safety (HARDENS)
High-Assurance Rigorous Digital Engineering for Nuclear Safety
(HARDENS) is a project focused on developing a high-assurance,
safety-critical system for nuclear safety applications.

component Hardware Description Language (HDL)
Hardware Description Language (HDL) is a specialized language used to
describe the structure and behavior of electronic circuits, and most
commonly digital logic circuits.

component Hash-based Message Authentication Code (HMAC)
Hash-based Message Authentication Code (HMAC) is a specific type of
message authentication code (MAC) involving a cryptographic hash
function and a secret cryptographic key.

component Higher-Order Logic (HOL)
Higher-Order Logic (HOL) is a form of predicate logic that is
distinguished from first-order logic by additional quantifiers and a
stronger semantics.

component Hardware Security Module (HSM)
A Hardware Security Module (HSM) is a physical computing device that
safeguards and manages digital keys for strong authentication and
provides cryptoprocessing.

component Intelligence Community (IC)
The Intelligence Community (IC) is a group of separate United States
government intelligence agencies and subordinate organizations that
work both separately and together to conduct intelligence activities
to support the foreign policy and national security of the United
States.

component Integrated Development Environment (IDE)
An Integrated Development Environment (IDE) is a software application
that provides comprehensive facilities to computer programmers for
software development.

component Intellectual Property (IP)
Intellectual Property (IP) refers to creations of the mind, such as
inventions; literary and artistic works; designs; and symbols, names,
and images used in commerce.

component Instruction Set Architecture (ISA)
Instruction Set Architecture (ISA) is the part of the processor that
is visible to the programmer or compiler writer. The ISA serves as the
boundary between software and hardware.

component Intermediate Representation (IR)
Intermediate Representation (IR) is a data structure or code used
internally by a compiler or virtual machine, often as a bridge between
source code and machine code.

component Java Modeling Language (JML)
Java Modeling Language (JML) is a specification language for Java
programs that enables the formal specification of invariants,
pre-conditions, and post-conditions.

component Low Level Virtual Machine (LLVM)
Low Level Virtual Machine (LLVM) is a collection of modular and
reusable compiler and toolchain technologies used for developing
compiler front ends and back ends.

component Model-Based Engineering (MBE)
Model-Based Engineering (MBE) is an approach to engineering that uses
models to support the lifecycle of a system, from conception through
development, operation, and maintenance.

component Model-Based Systems Engineering (MBSE)
Model-Based Systems Engineering (MBSE) is the practice of developing a
set of related system models that help define, design, and document a
system under development.

component Natural Language Processing (NLP)
Natural Language Processing (NLP) is a field of computer science,
artificial intelligence, and linguistics concerned with the
interactions between computers and human (natural) languages.

component Nuclear Regulatory Commission (NRC)
The Nuclear Regulatory Commission (NRC) is an independent agency of
the United States government tasked with regulating civilian use of
nuclear materials.

component National Security Agency (NSA)
The National Security Agency (NSA) is a national-level intelligence
agency of the United States Department of Defense, responsible for
global monitoring, collection, and processing of information and data.

component Nuclear Power Plant (NPP)
A Nuclear Power Plant (NPP) is a thermal power station in which the
heat source is a nuclear reactor used for electricity generation.

component Object Constraint Language (OCL)
Object Constraint Language (OCL) is a formal language used to describe
expressions on UML models, like invariants, queries, and operation
contracts.

component Open Systems Architecture (OSA)
Open Systems Architecture (OSA) refers to a modular, interoperable,
and scalable architecture that is based on open standards and can be
easily maintained and upgraded.

component Power Performance Area and Security (PPAS)
Power Performance Area and Security (PPAS) is an approach in system
design that focuses on optimizing power efficiency, performance,
physical area, and security features.

component Rigorous Digital Engineering (RDE)
Rigorous Digital Engineering (RDE) is an engineering methodology that
combines rigorous methods, formal verification, and digital tools to
ensure high-assurance system development.

component Register Transfer Level (RTL)
Register Transfer Level (RTL) is an abstraction for defining the
operations, dataflow, and structure of a digital circuit more
comprehensibly than using logic gates.

component Reactor Trip System (RTS)
The Reactor Trip System (RTS) is an emergency shutdown system of a
nuclear reactor designed to promptly terminate the nuclear reaction in
case of safety breaches.

component Software Analysis Workbench (SAW)
Software Analysis Workbench (SAW) is a suite of tools used for the
formal analysis, verification, and testing of software programs.

component Safety Critical Application Development Environment (SCADE)
Safety Critical Application Development Environment (SCADE) is a
development environment for safety-critical software applications,
offering tools for design, verification, and code generation.

component Secure Hash Algorithm (SHA)
Secure Hash Algorithm (SHA) is a family of cryptographic hash
functions used in various security applications and protocols,
including TLS and SSL.

component Satisfiability Modulo Theories (SMT)
Satisfiability Modulo Theories (SMT) is a method in computer science
for checking the satisfiability of logical formulas with respect to
some logical theory.

component Secret Ninja Formal Methods (SNFM)
Secret Ninja Formal Methods (SNFM) is a humorous, informal term
possibly referring to highly advanced and covert techniques in formal
methods used in computer science and software engineering.

component Statement of Work (SoW)
Statement of Work (SoW) is a document routinely employed in the field
of project management that captures and defines all aspects of a
project's work requirements.

component SystemVerilog (SV)
SystemVerilog (SV) is a hardware description and verification language
used to model, design, simulate, test, and implement electronic
systems.

component SystemVerilog Assertions (SVA)
SystemVerilog Assertions (SVA) are used to define complex timing
checks and functional assertions in digital circuit designs,
particularly in SystemVerilog-based environments.

component Size Weight and Power (SWaP)
Size Weight and Power (SWaP) refers to the considerations taken into
account for the design and development of military equipment, focusing
on reducing size, weight, and power consumption.

component System Modeling Language (SysML)
System Modeling Language (SysML) is a general-purpose modeling
language for systems engineering that supports the specification,
analysis, design, verification, and validation of complex systems.

component System-on-Chip (SoC)
System-on-Chip (SoC) is an integrated circuit that integrates all
components of a computer or other electronic system into a single
chip.

component System Security Integration Through Hardware and Firmware (SSITH)
System Security Integration Through Hardware and Firmware (SSITH) is a
program aiming to develop secure hardware and firmware solutions to
protect against common classes of hardware vulnerabilities.

component User Interface (UI)
User Interface (UI) is the space where interactions between humans and
machines occur, featuring input mechanisms for users to control the
machine and output mechanisms for the machine to communicate with the
users.

component Unified Modeling Language (UML)
Unified Modeling Language (UML) is a standardized modeling language
enabling developers to specify, visualize, construct, and document the
artifacts of software systems.

component Universal Serial Bus (USB)
Universal Serial Bus (USB) is an industry standard for cables,
connectors, and protocols for connection, communication, and power
supply between computers and devices.

component United States Government (USG)
The United States Government (USG) is the federal government of the
United States, a federal republic in North America, composed of 50
states, a federal district, five major self-governing territories, and
various possessions.

component Unified Theories of Programming (UTP)
Unified Theories of Programming (UTP) is a theoretical framework for
understanding and designing programming languages and systems, based
on the unification of various programming paradigms.

component Universal Verification Methodology (UVM)
Universal Verification Methodology (UVM) is a standardized methodology
for verifying integrated circuit designs, particularly those written
in SystemVerilog.

component User eXperience (UX)
User eXperience (UX) refers to a person's emotions and attitudes about
using a particular product, system, or service, including the
practical, experiential, affective, meaningful, and valuable aspects
of human-computer interaction.

component Verilog
Verilog is a hardware description language used to model electronic
systems. It is most commonly used in the design and verification of
digital circuits at the register-transfer level of abstraction.

component Vienna Development Method (VDM)
Vienna Development Method (VDM) is a formal method used in software
development for specifying and developing computer-based systems.

component Very High Speed Integrated Circuit (VHSIC)
Very High Speed Integrated Circuit (VHSIC) refers to a set of
technological standards for creating integrated circuits that operate
at high speeds.

component VHSIC Hardware Description Language (VHDL)
VHSIC Hardware Description Language (VHDL) is a hardware description
language used in electronic design automation to describe digital and
mixed-signal systems such as field-programmable gate arrays and
integrated circuits.