Ingegneria dei requisiti per sistemi critici per la sicurezza

Titolo originale:

Requirements Engineering for Safety-Critical Systems

Contenuto del libro:

I sistemi critici per la sicurezza (SCS) sono sempre più presenti nelle attività quotidiane delle persone.

Nei mezzi di trasporto, nei trattamenti medici, nei processi industriali, nel controllo del traffico aereo, terrestre e marittimo e in molte altre situazioni, utilizziamo e dipendiamo dai sistemi SCS. L'ingegneria dei requisiti di qualsiasi sistema è fondamentale per il corretto sviluppo dello stesso, e diventa ancora più rilevante per lo sviluppo di SCS.

L'ingegneria dei requisiti è una disciplina che si concentra sullo sviluppo di tecniche, metodi, processi e strumenti che assistono la progettazione di software e sistemi, coprendo le attività di elicitazione, analisi, modellazione e specifica, validazione e gestione dei requisiti. La specifica completa dei requisiti di un sistema costituisce la base per la sua progettazione architettonica. Offre una descrizione degli aspetti funzionali e qualitativi che dovrebbero guidare l'implementazione e l'evoluzione del sistema.

In questo libro vengono discussi gli elementi essenziali dell'ingegneria dei requisiti applicata ai sistemi di sicurezza, come il rapporto tra l'analisi di sicurezza/pericolo e la specifica dei requisiti, l'equilibrio tra metodologie conservative e agili durante lo sviluppo dei sistemi di sicurezza, il ruolo dell'ingegneria dei requisiti nei casi di sicurezza e il modello di maturità dell'ingegneria dei requisiti per i sistemi di sicurezza. Questo libro fornisce spunti importanti per professionisti, studenti e ricercatori interessati a migliorare la qualità del processo di sviluppo delle SCS, rendendo i requisiti di sistema una solida base per migliorare la sicurezza dei sistemi futuri.