Аннотация:В монографии изучается математическое и программное обеспечение критически важных целенаправленных систем.Вводится интегральная характеристика таких систем - информационно-системная безопасность (ИСБ).Обосновывается необходимость интеллектуализации критических систем для обеспечения их ИСБ. Развивается новый тип математического моделирования, радикальное моделирование в форме среды радикалов.Радикальное моделирование является принципиально избыточным, включающее не только саму систему, но и ее широкую проблемную область функционирования (театр действий системы). Предлагается универсальный язык RADICAL схем радикалов.