Umowy dotyczące projektowania systemów

Oryginalny tytuł:

Contracts for System Design

Zawartość książki:

Niedawno zaproponowano projektowanie oparte na kontraktach jako podejście "ortogonalne", które uzupełnia metodologie projektowania systemów zaproponowane do tej pory w celu radzenia sobie ze złożonością projektowania systemów.

Projektowanie oparte na kontraktach zapewnia rygorystyczne rusztowanie dla weryfikacji, analizy, abstrakcji/rafinacji, a nawet syntezy. Uzyskano kilka wyników w tej dziedzinie, ale brakowało ujednoliconego podejścia do tematu, które pomogłoby spojrzeć na projektowanie oparte na kontraktach z odpowiedniej perspektywy.

Contracts for System Design zapewnia takie podejście, w którym kontrakty są precyzyjnie zdefiniowane i scharakteryzowane, dzięki czemu mogą być stosowane w metodologiach projektowania bez dwuznaczności. Określa istotę projektowania złożonych systemów przy użyciu kontraktów poprzez matematyczną "meta-teorię", w której wszystkie właściwości metodologii wywodzą się z bardzo abstrakcyjnego i ogólnego pojęcia kontraktu. Meta-teoria zapewnia głębokie i pouczające powiązania z istniejącymi teoriami kontraktów i interfejsów, a także wytyczne do projektowania nowych teorii.

Obejmuje ona kontrakty zarówno dla oprogramowania, jak i systemów, z naciskiem na te drugie. Contracts for System Design ilustruje wykorzystanie kontraktów na dwóch przykładach: inżynierii wymagań dla zarządzania garażem parkingowym oraz rozwoju kontraktów dla synchronizacji i harmonogramowania w kontekście metodologii AUTOSAR stosowanej w sektorze motoryzacyjnym.