Caratteristiche qualitative dei software per applicazioni spaziali

Al giorno d'oggi, l'affidabilità e la sicurezza dei sistemi spaziali dipendono sempre di più direttamente dai software per uso spaziale (PSKN) utilizzati. Le lacune, le incertezze e le diverse interpretazioni nella definizione e nella formalizzazione delle caratteristiche di qualità dei PSKN e dei valori richiesti lasciano ampio spazio all'arbitrarietà nella descrizione e nella valutazione della loro qualità. Questi fattori giustificano la necessità di sviluppare e applicare, per ogni progetto di SPCN, programmi speciali e metodi formalizzati di descrizione e valutazione della qualità. Nel presente lavoro vengono illustrate le caratteristiche, i requisiti generali e i principi di garanzia della qualità degli SPCN. Tenendo conto della destinazione, delle caratteristiche, delle condizioni operative, del grado di importanza dei singoli requisiti e di altri fattori, viene giustificato e costruito un modello di qualità degli SPCN. Per la valutazione della qualità del software per sistemi spaziali, sulla base del modello di qualità di riferimento elaborato, è stato creato un sistema di indicatori misurabili (di valutazione). Il libro è destinato agli specialisti nel campo del software per sistemi spaziali, nonché agli studenti delle relative specializzazioni degli istituti di istruzione superiore.

Pagina's: 176, Paperback, Edizioni Sapienza