ハードリアルタイムシステムとソフトリアルタイムシステム

検証手法は大きく静的検証と動的検証に分類されます。静的検証（または静的解析）は、システムを実行せずにコードや設計を検証します。例としては、コードレビュー、検査、自動静的解析ツールなどがあります。動的検証（またはテスト）は、一連の入力を用いてシステムを実行し、その動作を観察して欠陥を発見します。どちらも包括的な品質保証のために相互補完的な役割を果たします。

リスク優先度番号（RPN）は、FMEAにおいてリスクの優先順位付けに使用される定量的な指標です。これは、重大度（S）、発生頻度（O）、検出可能性（D）という3つの要素の積として算出されます。計算式は[latex]RPN = S × O × D[/latex]です。各要素は通常1から10までの尺度で評価され、チームはスコアの高いリスクから優先的に対応することができます。

レートモノトニックスケジューリング（RMS）は、リアルタイムシステムにおける周期的なタスクのための静的優先度スケジューリングアルゴリズムです。タスクの頻度に基づいて優先度を割り当てます。タスクの周期が短いほど（レートが高いほど）、優先度が高くなります。RMSは最適な静的優先度アルゴリズムであり、静的優先度アルゴリズムでタスクセットをスケジューリングできる場合、RMSでもスケジューリングできます。スケジューリング可能性は、利用率に基づくテストで確認できます。

有限体積法（FVM）は、偏微分方程式を解くためのCFDにおける主要な数値解析手法です。この手法では、領域を制御体積のメッシュに離散化し、各体積に対して積分形式の支配方程式を適用します。発散定理を用いて体積積分を面積積分に変換することで、セル面を横切る保存特性のフラックスの計算に重点を置きます。

形式検証とは、数学的手法を用いて、システム設計が形式仕様に照らして正しいかどうかを証明または反証することです。特定の入力に対してのみバグの存在を示すことができるテストとは異なり、形式検証はあらゆる入力に対してバグが存在しないことを証明できます。形式検証には、システムの形式モデルを作成し、モデル検査や定理証明などの手法を用いることが含まれます。

メトロポリス・ヘイスティングス法は、直接サンプリングが困難な確率分布からランダムサンプルの系列を取得するための、代表的なMCMC法です。各反復において、現在のサンプルに基づいて次のサンプルの候補を生成します。この候補は一定の確率で採択または棄却され、結果として得られる連鎖が目的の分布に収束することが保証されます。

オブジェクト指向プログラミングにおける抽象化とは、複雑な実装の詳細を隠蔽し、オブジェクトの本質的な機能のみを示す概念です。オブジェクトがどのように動作するかではなく、何をするかに焦点を当てます。これは、完全な実装を提供せずに他のクラスの設計図を定義する抽象クラスとインターフェースによって実現され、複雑なシステムを簡素化します。

品質管理の7つの基本ツールとは、石川馨氏が品質関連の問題のトラブルシューティングのために考案した一連の図解手法です。これらのツールは、特性要因図（フィッシュボーン図）、チェックシート、管理図、ヒストグラム、パレート図、散布図、および層別化（フローチャートとして表現されることが多い）です。これらは使い方が簡単で、統計学の専門的な訓練をほとんど必要としないため、「基本」ツールとされています。

ウォーターフォールモデルは、反復を伴わない逐次的なソフトウェア開発プロセスであり、構想、開始、分析、設計、構築、テスト、展開、保守という明確なフェーズを経て、開発は滝のように着実に下へと流れていきます。各フェーズは、次のフェーズに進む前に完全に完了する必要があります。ウォーターフォールモデルは、その柔軟性を強調するために、反復型モデルと対比されることがよくあります。

リカバリブロック方式は、設計の多様性と後方エラー回復に基づいたソフトウェアの耐障害性技術です。この方式では、プログラムを一連のブロックとして構成し、各ブロックはプライマリモジュール、受け入れテスト、および1つ以上の代替モジュールで構成されます。プライマリモジュールの出力が受け入れテストに失敗した場合、システムの状態が復元され、代替モジュールが実行されます。

検証と妥当性確認（V&V）は、それぞれ異なるプロセスです。検証は、製品が規定された要件を満たしているかどうか（「正しく製造されているか？」）を確認するものです。妥当性確認は、製品がユーザーの実際のニーズと意図された用途を満たしているかどうか（「正しいものを作っているか？」）を確認するものです。これらは品質管理における相互補完的な活動であり、正確性と有用性の両方を確保するために、多くの場合、順次または並行して実行されます。

再現性限界 [latex]r[/latex] は、再現性標準偏差 ([latex]s_r[/latex]) から導出される臨界値です。これは、再現性条件下で得られた 2 つの単一テスト結果間の最大絶対差を 95% の確率で表したものです。一般的には [latex]r = 2.8 times s_r[/latex] として計算されます。差が [latex]r[/latex] を超えると、結果は疑わしいとみなされます。