Моделирование систем

Киберфизические системы все чаще становятся сегодня целями атак злоумышленников, что обусловлено высокой сложностью таких систем, их адаптивностью и работой со множеством интерфейсов связи. Для защиты киберфизических систем, применяемых в медицине, транспорте и в коммунальных службах требуется действенная стратегия тестирования безопасности. Нужна формальная модель прослеживаемости, позволяющая добиться нужного покрытия требований тестами.

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

Проникновение ИТ во все сферы экономики, рост объемов накопленных данных и необходимость их оперативного анализа для принятия обоснованных управленческих решений в государственном управлении определили актуальность создания информационно-аналитической платформы для решения задач стратегического планирования и прогнозирования.