La struttura del compilatore a tre stadi

Lo schema a blocchi di ripristino è una tecnica di tolleranza agli errori software basata sulla diversità di progettazione e sul ripristino degli errori a ritroso. Struttura un programma come una serie di blocchi, ciascuno con un modulo primario, un test di accettazione e uno o più moduli alternativi. Se l'output del modulo primario non supera il test di accettazione, lo stato del sistema viene ripristinato e viene eseguito un modulo alternativo.

La verifica e la convalida (V&V) sono processi distinti. La verifica assicura che un prodotto soddisfi i requisiti specificati ("Lo state costruendo bene?"). La convalida assicura che il prodotto soddisfi le esigenze reali dell'utente e l'uso previsto ("State costruendo la cosa giusta?"). Si tratta di attività complementari nell'ambito della gestione della qualità, spesso eseguite in sequenza o in parallelo per garantire sia la correttezza che l'utilità.

Il limite di ripetibilità, [latex]r[/latex], è un valore critico derivato dalla deviazione standard della ripetibilità ([latex]s_r[/latex]). Rappresenta la massima differenza assoluta attesa tra due singoli risultati del test, ottenuti in condizioni di ripetibilità, con una probabilità di 95%. Viene comunemente calcolato come [latex]r = 2,8 ´times s_r[/latex]. Se la differenza supera [latex]r[/latex], i risultati sono considerati sospetti.

La BFT (acronimo di Byzantine Fault Tolerance) è una proprietà di un sistema che gli consente di continuare a funzionare correttamente e di raggiungere il consenso anche se alcuni dei suoi componenti si guastano in modi arbitrari e imprevedibili, compreso un comportamento doloso (guasti bizantini). Si tratta di una garanzia molto più forte rispetto alla tolleranza di semplici crash. È necessario un minimo di [latex]3f+1[/latex] di componenti totali per tollerare [latex]f[/latex] di componenti difettosi e maligni.

RAID (acronimo di Redundant Array of Independent Disks) è una tecnologia di virtualizzazione dell'archiviazione dati che combina più unità disco fisiche in una o più unità logiche per la ridondanza dei dati, il miglioramento delle prestazioni o entrambi. Diversi livelli RAID offrono diversi equilibri di affidabilità, disponibilità, prestazioni e capacità. Ad esempio, RAID 1 esegue il mirroring dei dati su due dischi, mentre RAID 5 esegue lo striping dei dati e la parità su almeno tre dischi.

Il Rate-Monotonic Scheduling (RMS) è un algoritmo di schedulazione a priorità statica per attività periodiche in un sistema real-time. Assegna le priorità in base alla frequenza delle attività: più breve è il periodo di un'attività (maggiore è la sua frequenza), maggiore è la sua priorità. RMS è un algoritmo a priorità statica ottimale, il che significa che se un qualsiasi algoritmo a priorità statica può schedulazione di un set di attività, anche RMS può farlo. La schedulazione può essere verificata utilizzando un test basato sull'utilizzo.

Il Metodo dei Volumi Finiti (FVM) è una tecnica numerica dominante nella CFD per la risoluzione di equazioni differenziali parziali. Discretizza il dominio in una mesh di volumi di controllo e applica le equazioni di governo nella loro forma integrale a ciascun volume. Convertendo gli integrali di volume in integrali di superficie utilizzando il teorema della divergenza, si concentra sul calcolo del flusso di proprietà conservate attraverso le facce delle celle.

La verifica formale è l'uso di metodi matematici per dimostrare o confutare la correttezza del progetto di un sistema rispetto a una specifica formale. A differenza dei test, che possono mostrare la presenza di bug solo per input specifici, la verifica formale può dimostrare la loro assenza per tutti gli input possibili. Si tratta di creare un modello formale del sistema e di utilizzare tecniche come il model checking o il theorem proving.

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].

The Spiral Model is a risk-driven software development process model that combines elements of both prototyping and the waterfall model. It is a type of iterative development where the project passes through four phases in each iteration (spiral): determine objectives, identify and resolve risks, develop and test, and plan the next iteration. It emphasizes continuous risk analysis.

Signal detection is the process of identifying potential causal relationships between a drug and an adverse event from large datasets, typically spontaneous reporting systems. It uses statistical methods, known as disproportionality analysis, to find drug-event combinations reported more frequently than expected. A common measure is the Reporting Odds Ratio (ROR), a value greater than one suggesting a potential signal that requires further investigation.