Contracte pentru proiectarea sistemelor

Titlul original:

Contracts for System Design

Conținutul cărții:

Recent, proiectarea bazată pe contracte a fost propusă ca o abordare "ortogonală" care completează metodologiile de proiectare a sistemelor propuse până în prezent pentru a face față complexității proiectării sistemelor.

Proiectarea pe bază de contracte oferă o schelă riguroasă pentru verificare, analiză, abstractizare/rafinare și chiar sinteză. S-au obținut mai multe rezultate în acest domeniu, dar a lipsit o tratare unificată a subiectului care să ajute la punerea în perspectivă a proiectării bazate pe contracte.

Contractele pentru proiectarea sistemelor oferă un astfel de tratament în care contractele sunt definite și caracterizate cu precizie, astfel încât să poată fi utilizate în metodologiile de proiectare fără nicio ambiguitate. Acesta identifică esența proiectării sistemelor complexe cu ajutorul contractelor printr-o "meta-teorie" matematică, în care toate proprietățile metodologiei sunt derivate dintr-o noțiune foarte abstractă și generică de contract. Această meta-teorie oferă legături profunde și lămuritoare cu teoriile existente privind contractele și interfețele, precum și orientări pentru elaborarea de noi teorii.

Ea cuprinde contracte atât pentru software, cât și pentru sisteme, cu accent pe acestea din urmă. Contractele pentru proiectarea sistemelor ilustrează utilizarea contractelor prin două exemple: ingineria cerințelor pentru gestionarea unui garaj de parcare și dezvoltarea de contracte pentru sincronizare și programare în contextul metodologiei AUTOSAR utilizată în sectorul auto.