JPL SA

State Analysis (SA) - методология компании Jet Propulsion Laboratory (JPL) на основе архитектуры, управляемой моделями, и архитектуры, управляемой состоянием (State driven architecture, SDA). Методология применяется для хранения требований (requirements) и проектных решений (design). В этом процессе различаются состояние системы и знания человека об этом состоянии. В общем случае знания о состояниях системы представлены более абстрактными концепциями, чем сами состояния. В совокупности моделей представлена информация о том, как система переходит из одного состояния в другое. Управление системой также представлено моделями, хотя полный контроль считается невозможным из-за сложности системы.