Contratti per la progettazione di sistemi

Titolo originale:

Contracts for System Design

Contenuto del libro:

Recentemente, la progettazione basata su contratti è stata proposta come approccio "ortogonale" che integra le metodologie di progettazione di sistemi proposte finora per far fronte alla complessità della progettazione di sistemi.

La progettazione basata su contratti fornisce un'impalcatura rigorosa per la verifica, l'analisi, l'astrazione/raffinamento e persino la sintesi. Sono stati ottenuti diversi risultati in questo campo, ma mancava una trattazione unificata dell'argomento che potesse aiutare a mettere in prospettiva la progettazione basata su contratti.

I contratti per la progettazione di sistemi forniscono una trattazione di questo tipo, in cui i contratti sono definiti e caratterizzati con precisione, in modo da poter essere utilizzati nelle metodologie di progettazione senza alcuna ambiguità. Identifica l'essenza della progettazione di sistemi complessi utilizzando i contratti attraverso una "meta-teoria" matematica, in cui tutte le proprietà della metodologia sono derivate da una nozione molto astratta e generica di contratto. Questa meta-teoria fornisce collegamenti profondi e illuminanti con le teorie esistenti sui contratti e sulle interfacce, nonché linee guida per la progettazione di nuove teorie.

Comprende contratti sia per il software che per i sistemi, con particolare attenzione a questi ultimi. Contracts for System Design illustra l'uso dei contratti con due esempi: l'ingegneria dei requisiti per la gestione di un parcheggio e lo sviluppo di contratti per la tempistica e la programmazione nel contesto della metodologia AUTOSAR in uso nel settore automobilistico.