JPL SA

State Analysis (SA) - методология компании Jet Propulsion Laboratory (JPL) на основе архитектуры, управляемой моделями, и архитектуры, управляемой состоянием (State driven architecture, SDA).

Методология применяется для хранения требований (requirements) и проектных решений (design).

В этом процессе различаются:

• состояние системы (system's state),
• знания об этом состоянии (knowledge of state).

В общем случае знания о состояниях системы представлены более абстрактными концепциями, чем сами состояния. В совокупности моделей представлена информация о том, как система переходит из одного состояния в другое. Управление системой также представлено моделями, хотя полный контроль считается невозможным из-за сложности системы.