Моделирование в жизненном цикле автоматизированных систем управления в кризисных и чрезвычайных ситуациях