Sistemi hard e soft in tempo reale

Le tecniche di verifica sono ampiamente classificate come statiche o dinamiche. La verifica statica (o analisi statica) esamina il codice o la progettazione del sistema senza eseguirlo. Ne sono un esempio le revisioni del codice, le ispezioni e gli strumenti di analisi statica automatizzati. La verifica dinamica (o test) prevede l'esecuzione del sistema con una serie di input e l'osservazione del suo comportamento per individuare i difetti. Entrambi sono complementari per una garanzia di qualità completa.

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.

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.

L'algoritmo Metropolis-Hastings è un metodo MCMC di primo piano per ottenere una sequenza di campioni casuali da una distribuzione di probabilità per la quale il campionamento diretto risulta difficile. A ogni iterazione, genera un candidato per il campione successivo basato sul campione corrente. Questo candidato viene quindi accettato o rifiutato con una certa probabilità, garantendo che la catena risultante converga alla distribuzione desiderata.

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.

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.