有限体积法（FVM）

根据错过截止时间的后果，实时系统可分为“硬实时”和“软实时”。在硬实时系统中，错过截止时间会导致系统完全失效，例如防抱死制动系统。在软实时系统中，错过截止时间会导致性能下降，但不会导致灾难性故障，例如实时音视频流。

速率单调调度（RMS）是一种用于实时系统中周期性任务的静态优先级调度算法。它根据任务频率分配优先级：任务周期越短（速率越高），优先级越高。RMS 是一种最优静态优先级算法，这意味着如果任何静态优先级算法能够调度一组任务，RMS 也能够调度。可以通过基于利用率的测试来检验其可调度性。

形式验证是使用数学方法来证明或反驳系统设计与形式规范的正确性。测试只能显示特定输入存在错误，而形式验证则不同，它能证明所有可能的输入都不存在错误。它涉及创建系统的形式化模型，并使用模型检查或定理证明等技术。

A statistical measure of a process's ability to produce output within customer-defined specification limits. Unlike control charts, which track stability, Cpk quantifies capability. It measures how centered the process is between the specification limits and accounts for process variation. A higher Cpk value indicates a more capable process. The formula is [latex]C_{pk} = \min\left[\frac{USL - \mu}{3\sigma}, \frac{\mu - LSL}{3\sigma}\right][/latex].

面向对象编程 (OOP) 中的抽象是指隐藏复杂的实现细节，仅显示对象的基本功能。它关注的是对象做什么，而不是如何做。抽象类和接口可以实现这一点，它们为其他类定义蓝图，但不提供完整的实现，从而简化了复杂的系统。

质量的七种基本工具是由石川馨 (Kaoru Ishikawa) 提出的一套用于解决质量相关问题的图形技术。这些工具包括：因果图（鱼骨图）、检查表、控制图、直方图、帕累托图、散点图和分层图（通常以流程图的形式呈现）。它们之所以被认为是“基本”工具，是因为它们使用简单，几乎不需要正式的统计培训。

瀑布模型是一种顺序的、非迭代的软件开发过程，其进度像瀑布一样，通过不同的阶段稳步向下流动：构思、启动、分析、设计、构建、测试、部署和维护。每个阶段都必须完全完成才能进入下一个阶段。瀑布模型通常与迭代模型形成对比，以突出其灵活性。

恢复块方案是一种基于设计多样性和向后错误恢复的软件容错技术。它将程序结构化为一系列块，每个块包含一个主模块、一个验收测试以及一个或多个备用模块。如果主模块的输出未能通过验收测试，则系统状态恢复，并执行一个备用模块。

验证和确认（V&V）是两个不同的过程。验证确保产品符合其指定要求（"你造对了吗？）验证确保产品满足用户的实际需求和预期用途（"你造对了吗？）它们是质量管理中的互补活动，通常按顺序或平行进行，以确保正确性和实用性。

重复性极限 [latex]r[/latex] 是由重复性标准偏差 ([latex]s_r[/latex]) 得出的临界值。它表示在重复性条件下获得的两个单一测试结果之间的最大预期绝对差异，概率为 95%。通常计算公式为 [latex]r = 2.8 倍 s_r[/latex]。如果差值超过 [latex]r[/latex]，则认为结果可疑。

BFT（Byzantine Fault Tolerance，拜占庭容错的首字母缩写）是系统的一种特性，它允许系统在某些组件以任意、不可预测的方式（包括恶意行为）发生故障（拜占庭故障）时，仍能继续正常运行并达成共识。这比容忍简单的崩溃故障要强得多。至少需要 [latex]3f+1[/latex] 个组件才能容忍 [latex]f[/latex] 个有问题的恶意组件。.