|
БОРТОВЫЕ ГАРАНТОСПОСОБНЫЕ МАСШТАБИРУЕМЫЕ КОМПЬЮТЕРНЫЕ ПЛАТФОРМЫ НА ОСНОВЕ ПЛИС-ТЕХНОЛОГИЙ: МОДЕЛИРОВАНИЕ, РАЗРАБОТКА И ВЕРИФИКАЦИЯ Области применения： Авиационные и космические компьютеризированные системы, информационно-управляющие системы АЭС, другие критические и бизнес-критические приложения. Характеристика проекта. Базовые принципы： Универсальность и масштабируемость платформы обеспечивается за счет применения вертикально и горизонтально интегрированных решений, базирующихся на технологиях soft-процессоров и параметризированной шинной архитектуры. Требования реального времени, надежности, живучести и функциональной безопасности обеспечиваются развитыми штатными и встраиваемыми средствами на основе концепции ЗМ, основывающейся на принципах многоверсионности, многопараметрической адаптации и многоступенчатой управляемой деградации. Синтез (выбор), оценка и реализация решений поддерживается средствами структурно-пространственного моделирования, аппаратом генетических алгоритмов, метрическим анализом и верификацией на основе детализации процессов жизненного цикла ПЛИС-проектов. Результаты выполнения проекта： 1. Методики и инструментальные средства моделирования ПЛИС-проектов, позволяющие оценить устойчивость различных решений к кластерным (множественным) отказам, обусловленным факторами внешней среды, и выбрать оптимальную архитектуру с учетом возможностей технологий и условий применения. 2. Ряд унифицированных масштабируемых решений для создания бортовых гарантоспособных вычислителей с использованием ПЛИС-технологий и soft-процессоров. 3. Методики и инструментальные средства поддержки независимой верификации ПЛИС-проектов. Технико-экономические преимущества: Предлагаемые методики и средства: - обеспечивают измеряемую устойчивость систем к множественным отказам, обусловленным дефектами аппаратных средств – элементов кристалла, вызванных неблагоприятными факторами, и проектными дефектами; - позволяют генерировать и выбирать рациональные решения по критерию «функциональность-гарантоспособность-стоимость». Степень готовности: Проведены разработка и верификация математических моделей, методик и программно-аппаратных средств поддержки. Выполнено макетирование и отработка архитектурных решений. Стоимость разработок: Стоимость определяется исходя из объема задач, формулируемых заказчиком в области научно-методической поддержки, технологий и конкретных программно-аппаратных решений. Научно-практические наработки и их патентная защита: 1. Участие в разработках, верификации и экспертизе бортовых компьютерных систем, информационно-управляющих систем, важных для безопасности АЭС, с применением ПЛИС-технологий. 2. По отдельным решениям получены авторских свидетельств и патенты Украины, России на аппаратные и программные средства. 3. Опубликованы статьи, научные доклады (Украина, Россия, Польша, США) и книги по теоретическим основам и реализации отказоустойчивых цифровых систем с программируемой логикой на базе FPGA-технологии. |
