Целью проекта является разработка ПО, обеспечивающего корректную работу лифта без ограничения на типы домов, датчиков и лифтов. При разработке данного ПО будут учитываться такие показатели, как перегруженность, задымленность, используемость лифта в конкретный момент времени и корректность его работы при вызове его как снаружи, так и изнутри.
Предполагается работа ПО при следующих внешних условиях:
- нормальные;
- аномальные;
- аварийные.
Под нормальными подразумеваются условия в отсутствие задымления, не требующие вывода лифта из эксплуатации и вызова мастера. Аномальные ситуации возникают при разного рода неисправностях лифта и требуют вызова мастера. Аварийными называются сценарии работы лифта при задымлении. Работа лифта описывается состояниями — наборами значений, полученных от датчиков лифта в каждый момент времени. Переходы из состояния в состояние осуществляются через события. Набор состояний и переходов между ними отражает различные сценарии использования лифта.
