Schema di blocco di recupero

L'astrazione nella programmazione orientata agli oggetti (OOP) consiste nel nascondere dettagli implementativi complessi e mostrare solo le caratteristiche essenziali dell'oggetto. Si concentra su ciò che un oggetto fa anziché su come lo fa. Questo obiettivo si ottiene attraverso classi e interfacce astratte, che definiscono un modello per altre classi senza fornire un'implementazione completa, semplificando così i sistemi complessi.

The Seven Basic Tools of Quality are a set of graphical techniques identified by Kaoru Ishikawa for troubleshooting quality-related issues. These tools are: Cause-and-effect diagram (fishbone), Check sheet, Control chart, Histogram, Pareto chart, Scatter diagram, and Stratification (often presented as a flowchart). They are considered 'basic' because they are simple to use and require little formal statistical training.

The Waterfall Model is a sequential, non-iterative software development process, where progress flows steadily downwards (like a waterfall) through distinct phases: conception, initiation, analysis, design, construction, testing, deployment and maintenance. Each phase must be fully completed before moving to the next. It is often contrasted with iterative models to highlight their flexibility.

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.

Il numero di priorità del rischio (RPN) è una misura quantitativa utilizzata nell'FMEA per dare priorità ai rischi. È calcolato come il prodotto di tre fattori classificati: Gravità (S), Occorrenza (O) e Rilevamento (D). La formula è [latex]RPN = S per O per D[/latex]. Ogni fattore è tipicamente classificato su una scala da 1 a 10, consentendo ai team di concentrarsi prima sui rischi con i punteggi più alti.

I sistemi real-time sono classificati come "hard" o "soft" in base alle conseguenze del mancato rispetto di una scadenza. In un sistema real-time hard, il mancato rispetto di una scadenza comporta un guasto totale del sistema, come nel caso di un sistema di frenata antibloccaggio. In un sistema real-time soft, il mancato rispetto di una scadenza comporta un degrado delle prestazioni ma non un guasto catastrofico, come nel caso dello streaming audio-video in diretta.

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.

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.