Manuale metodologico on line per lo sviluppo di sistemi critici
Il progetto MATISSE (Methodologies and Technologies for Industrial Strength Systems Engineering) impiega i Metodi formali per l'ingegneria del software su base matematica per supportare i controlli di convalida lungo l'intero ciclo di sviluppo dei sistemi. Tali controlli, che comprendono tecniche di prova, di model-checking e di simulazione, consentono la definizione delle linee guida di base, nonché l'espansione delle metodologie e l'aggiornamento delle tecnologie. Strutturato in tre parti, per diversi livelli di professionalità nel settore dell'ingegneria del software, il manuale può essere consultato come volume integrale, oppure come 3 singole unità correlate. La prima parte, costituita dal materiale introduttivo, si rivolge all'amministrazione e funge da introduzione alla seconda parte, relativa alla gestione del progetto, mentre l'ultima parte è dedicata ai professionisti del settore e contiene esempi pratici. Il manuale, 316 pagine in tutto, illustra le ragioni per il modello software, basandosi sull'analisi e l'esperienza di tre studi di casi industriali. I due studi convalidati che costituiscono le pietre miliari su cui poggia il potenziale futuro di applicazione di tale sistema sono un verificatore incorporato per sistemi multiapplicazione con smart card ed un sistema di segnalazione e controllo ferroviario. Il terzo, invece, è costituito da un sistema di diagnostica medica che non è stato ancora testato, anche se il partner sviluppatore è fortemente intenzionato ad ottenere benefici industriali per la propria organizzazione. Il software critico stesso è stato sviluppato in modo tale da consentire l'integrazione della maggior parte dei metodi nei cicli d'ingegnerizzazione dei sistemi già esistenti, riducendo così i costi attuali e futuri di sviluppo. Tali metodologie ampliano la gamma di applicazioni dei metodi formali e migliorano le tecnologie ad essi associate. In sostanza, questo progetto mira a valorizzare e potenziare gli attuali metodi generici associati ad applicazioni basate su software critici. MATISSE, pertanto, consentirà di rafforzare in modo impareggiabile i vantaggi dell'ingegneria del software, poiché i benefici dell'applicazione proseguiranno oltre l'effettiva durata di vita del progetto. Il CNRS (Centro nazionale di ricerca scientifica) francese mette a disposizione i propri strumenti complementari d'ingegneria software a futuri partner interessati all'integrazione dei loro metodi formali eterogenei in questa metodologia. La versione integrale del manuale può essere consultata in qualsiasi momento presso il sito: http://eriscs.esil.univmed.fr/dotclear/public/PAPERS/Matisse_Handbook.pdf(si apre in una nuova finestra)
