4-day-mbse-with-core9_2018-reva

Resource Timing

• Resources are produced by, consumed by, or captured by the function which is affecting them, while that function is executing. • A Resource is consumed at the beginning of execution of the consuming function. • A Resource is produced at the end of execution of the producing function. • A renewable Resource is captured (and held) at the beginning of execution and released at the end of execution of the capturing function.

563

Patriot Missile System

• General Requirements

• Defend against ballistic missiles • Threat generator • Detection, track, interceptor assignment, intercept, reload interceptors, … • Resource Requirements • Interceptors • Use two per incoming ballistic missile • Initial load of six on the launcher • Reload three at a time • MIPS • Functions capture x.x MIPS per execution (constant or random)

564